0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275924-1169229362/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=45  nbDomainTypes=2  minDomainSize=34  maxDomainSize=35
0.43	       =>  wckTime=0.107  cpuTime=0.08  mem=6M887
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
0.73	     nbConstraints=702  nbConvertedConstraints=666  nbConvertConstraintsChecks=44031  nbExtensionStructures=2
0.73	     nbSharedExtensionStructures=664  nbConflictsStructures=3  nbSharedConflictsStructures=699
0.73	     nbSharedBinaryRepresentations=36  nbEvaluationManagers=1  nbSharedEvaluationManagers=35  maxDegree=36  maxArity=3
0.73	       =>  wckTime=0.411  cpuTime=0.3  mem=9M813
0.78	   
0.78	   solver LocalSearchSolver being built... 
0.82	       =>  wckTime=0.496  cpuTime=0.34  mem=5M728
0.83	
0.83	s SATISFIABLE
0.83	o 645
0.83	c 57
0.83	o 649
0.83	c 53
0.83	o 652
0.83	c 50
0.83	o 655
0.83	c 47
0.83	o 658
0.83	c 44
0.83	o 660
0.83	c 42
0.84	o 662
0.84	c 40
0.84	o 663
0.84	c 39
0.84	o 665
0.84	c 37
0.84	o 667
0.84	c 35
0.84	o 668
0.84	c 34
0.84	o 669
0.84	c 33
0.84	o 670
0.84	c 32
0.85	o 671
0.85	c 31
0.85	o 672
0.85	c 30
0.85	o 673
0.85	c 29
0.85	o 674
0.85	c 28
0.85	o 676
0.85	c 26
0.85	o 679
0.85	c 23
0.85	o 680
0.85	c 22
0.86	o 681
0.86	c 21
0.86	o 682
0.86	c 20
0.87	o 683
0.87	c 19
0.87	o 684
0.87	c 18
0.87	o 685
0.87	c 17
0.94	o 686
0.94	c 16
0.95	o 687
0.95	c 15
0.95	o 688
0.95	c 14
1.47	o 689
1.47	c 13
7.71	o 690
7.71	c 12
7.71	o 691
7.71	c 11
7.72	o 692
7.72	c 10
7.72	o 693
7.72	c 9
10.98	   
10.98	   search
10.98	     run=0  nbConstraintChecks=48660801  nbAssignments=10000
10.98	       =>  wckTime=10.165  cpuTime=10.05  mem=5M728
17.10	o 694
17.10	c 8
17.10	o 695
17.10	c 7
19.21	   
19.21	   search
19.21	     run=1  nbConstraintChecks=88447146  nbAssignments=20000
19.21	       =>  wckTime=18.393  cpuTime=18.2  mem=5M728
28.40	   
28.40	   search
28.40	     run=2  nbConstraintChecks=133890456  nbAssignments=30000
28.40	       =>  wckTime=27.58  cpuTime=27.3  mem=5M728
36.89	   
36.89	   search
36.89	     run=3  nbConstraintChecks=175474405  nbAssignments=40000
36.89	       =>  wckTime=36.07  cpuTime=35.71  mem=5M728
46.22	   
46.22	   search
46.22	     run=4  nbConstraintChecks=221561942  nbAssignments=50000
46.22	       =>  wckTime=45.4  cpuTime=44.96  mem=5M728
47.39	   
47.39	   search
47.39	     run=5  nbConstraintChecks=227143720  nbAssignments=51139
47.39	       =>  wckTime=46.574  cpuTime=46.12  mem=5M728
47.39	   
47.39	   global
47.39	     nbConstraintChecks=227143720  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
47.39	     solvingWckTime=46.573  solvingCpuTime=46.12  expiredTime=no  totalExploration=no  nbFoundSolutions=0
47.39	     globalCpuTime=46.51
47.39	       =>  wckTime=47.071  cpuTime=46.46  mem=5M728
47.39	   
47.39	   solver IterativeSystematicSolver being built... 
47.54	       =>  wckTime=47.218  cpuTime=46.57  mem=16M708
49.80	   
49.81	   preprocessing
49.81	     nbConstraintChecks=7226827  nbValidityChecks=301001  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.81	     nbRemovedValues=13  detectedInconsistency=no
49.81	       =>  wckTime=2.263  cpuTime=2.21  mem=16M708
53.30	   
53.30	   search
53.31	     run=0  nbConstraintChecks=12382025  nbValidityChecks=572594  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
53.31	     nbAssignments=91  nbFailedAssignments=68  nbBacktracks=10  nbVisitedNodes=170  nbRestartNogoods=0
53.31	       =>  wckTime=5.763  cpuTime=5.67  mem=16M708
59.15	   
59.15	   search
59.15	     run=1  nbConstraintChecks=33295972  nbValidityChecks=1506927  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
59.15	     nbAssignments=254  nbFailedAssignments=201  nbBacktracks=25  nbVisitedNodes=481  nbRestartNogoods=20
59.15	       =>  wckTime=11.614  cpuTime=11.46  mem=16M708
71.18	   
71.18	   search
71.18	     run=2  nbConstraintChecks=70594840  nbValidityChecks=3549571  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
71.18	     nbAssignments=588  nbFailedAssignments=505  nbBacktracks=47  nbVisitedNodes=1141  nbRestartNogoods=36
71.18	       =>  wckTime=23.638  cpuTime=23.38  mem=16M708
74.06	   
74.06	   search
74.06	     run=3  nbConstraintChecks=80461595  nbValidityChecks=4099471  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
74.06	     nbAssignments=679  nbFailedAssignments=550  nbBacktracks=80  nbVisitedNodes=1310  nbRestartNogoods=59
74.06	       =>  wckTime=26.524  cpuTime=26.24  mem=16M708
78.12	   
78.12	   search
78.12	     run=4  nbConstraintChecks=94941020  nbValidityChecks=4729074  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
78.12	     nbAssignments=816  nbFailedAssignments=620  nbBacktracks=130  nbVisitedNodes=1567  nbRestartNogoods=104
78.12	       =>  wckTime=30.58  cpuTime=30.26  mem=16M708
91.67	   
91.67	   search
91.67	     run=5  nbConstraintChecks=141560803  nbValidityChecks=6919512  nbPropagations=0  nbRevisions=0
91.67	     nbUselessRevisions=0  nbAssignments=1246  nbFailedAssignments=965  nbBacktracks=205  nbVisitedNodes=2417
91.67	     nbRestartNogoods=142
91.67	       =>  wckTime=44.134  cpuTime=43.68  mem=16M708
110.51	   
110.51	   search
110.51	     run=6  nbConstraintChecks=198200470  nbValidityChecks=10499670  nbPropagations=0  nbRevisions=0
110.51	     nbUselessRevisions=0  nbAssignments=2294  nbFailedAssignments=1890  nbBacktracks=318  nbVisitedNodes=4501
110.51	     nbRestartNogoods=155
110.51	       =>  wckTime=62.967  cpuTime=62.32  mem=16M708
162.47	   
162.47	   search
162.47	     run=7  nbConstraintChecks=363402319  nbValidityChecks=19419958  nbPropagations=0  nbRevisions=0
162.47	     nbUselessRevisions=0  nbAssignments=3915  nbFailedAssignments=3335  nbBacktracks=488  nbVisitedNodes=7723
162.47	     nbRestartNogoods=234
162.47	       =>  wckTime=114.929  cpuTime=113.8  mem=16M708
182.41	   
182.41	   search
182.41	     run=8  nbConstraintChecks=422324013  nbValidityChecks=23417530  nbPropagations=0  nbRevisions=0
182.41	     nbUselessRevisions=0  nbAssignments=4830  nbFailedAssignments=3987  nbBacktracks=744  nbVisitedNodes=9545
182.41	     nbRestartNogoods=267
182.41	       =>  wckTime=134.872  cpuTime=133.56  mem=16M708
288.01	   
288.01	   search
288.01	     run=9  nbConstraintChecks=771624411  nbValidityChecks=44476507  nbPropagations=0  nbRevisions=0
288.01	     nbUselessRevisions=0  nbAssignments=8767  nbFailedAssignments=7532  nbBacktracks=1128  nbVisitedNodes=17411
288.01	     nbRestartNogoods=312
288.01	       =>  wckTime=240.472  cpuTime=238.19  mem=16M708
341.30	   
341.30	   search
341.30	     run=10  nbConstraintChecks=932953208  nbValidityChecks=53967665  nbPropagations=0  nbRevisions=0
341.30	     nbUselessRevisions=0  nbAssignments=10732  nbFailedAssignments=8913  nbBacktracks=1704  nbVisitedNodes=21333
341.30	     nbRestartNogoods=353
341.30	       =>  wckTime=293.756  cpuTime=290.83  mem=16M708
409.75	   
409.75	   search
409.75	     run=11  nbConstraintChecks=1136895492  nbValidityChecks=65897301  nbPropagations=0  nbRevisions=0
409.75	     nbUselessRevisions=0  nbAssignments=15026  nbFailedAssignments=12334  nbBacktracks=2568  nbVisitedNodes=29852
409.75	     nbRestartNogoods=427
409.75	       =>  wckTime=362.213  cpuTime=358.59  mem=16M708
460.00	   
460.00	   search
460.00	     run=12  nbConstraintChecks=1283120617  nbValidityChecks=74330859  nbPropagations=0  nbRevisions=0
460.00	     nbUselessRevisions=0  nbAssignments=18693  nbFailedAssignments=14699  nbBacktracks=3865  nbVisitedNodes=36861
460.00	     nbRestartNogoods=489
460.00	       =>  wckTime=412.458  cpuTime=408.37  mem=16M708
560.25	   
560.25	   search
560.25	     run=13  nbConstraintChecks=1551549414  nbValidityChecks=97525005  nbPropagations=0  nbRevisions=0
560.25	     nbUselessRevisions=0  nbAssignments=28306  nbFailedAssignments=22357  nbBacktracks=5811  nbVisitedNodes=55878
560.25	     nbRestartNogoods=524
560.25	       =>  wckTime=512.711  cpuTime=507.7  mem=17M683
750.98	   
750.98	   search
750.98	     run=14  nbConstraintChecks=2139534384  nbValidityChecks=137402600  nbPropagations=0  nbRevisions=0
750.98	     nbUselessRevisions=0  nbAssignments=40867  nbFailedAssignments=31991  nbBacktracks=8730  nbVisitedNodes=80937
750.98	     nbRestartNogoods=596
750.98	       =>  wckTime=703.442  cpuTime=696.68  mem=17M683
944.67	   
944.67	   search
944.67	     run=15  nbConstraintChecks=2684475701  nbValidityChecks=184484369  nbPropagations=0  nbRevisions=0
944.67	     nbUselessRevisions=0  nbAssignments=61881  nbFailedAssignments=48617  nbBacktracks=13108  nbVisitedNodes=122730
944.67	     nbRestartNogoods=669
944.67	       =>  wckTime=897.131  cpuTime=888.6  mem=17M683
1345.90	   
1345.90	   search
1345.90	     run=16  nbConstraintChecks=3760301246  nbValidityChecks=274887297  nbPropagations=0  nbRevisions=0
1345.90	     nbUselessRevisions=0  nbAssignments=89803  nbFailedAssignments=69963  nbBacktracks=19676  nbVisitedNodes=178559
1345.90	     nbRestartNogoods=721
1345.90	       =>  wckTime=1298.357  cpuTime=1286.13  mem=17M683
1787.19	   
1787.19	   search
1787.19	     run=17  nbConstraintChecks=5077297104  nbValidityChecks=366742541  nbPropagations=0  nbRevisions=0
1787.19	     nbUselessRevisions=0  nbAssignments=123625  nbFailedAssignments=93921  nbBacktracks=29528  nbVisitedNodes=245707
1787.19	     nbRestartNogoods=786
1787.19	       =>  wckTime=1739.651  cpuTime=1723.37  mem=17M683
2174.86	   
2174.86	   search
2174.86	     run=18  nbConstraintChecks=6209837800  nbValidityChecks=452118416  nbPropagations=0  nbRevisions=0
2174.86	     nbUselessRevisions=0  nbAssignments=165985  nbFailedAssignments=121495  nbBacktracks=44306  nbVisitedNodes=328540
2174.86	     nbRestartNogoods=864
2174.86	       =>  wckTime=2127.318  cpuTime=2107.47  mem=17M683
2420.97	v 1 4 14 16 25 28 32 33 34 3 13 15 24 27 31 32 33 10 12 21 24 28 29 30 2 11 14 18 19 20 9 12 16 17 18 3 7 8 9 4 5 6 34 2 1 
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-275924-1169229362 -o ROOT/results/node50/solver-275924-1169229362 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275924-1169229362/unknown.xml 
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.98 2.00 1.92 2/81 3486
/proc/meminfo: memFree=1398712/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=18540 CPUtime=0
/proc/3485/stat : 3485 (runsolver) R 3483 3485 3043 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271334747 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3485/statm: 4635 279 244 17 0 2626 0
[startup+0.102403 s]
/proc/loadavg: 1.98 2.00 1.92 2/81 3486
/proc/meminfo: memFree=1398712/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=913068 CPUtime=0.08
/proc/3485/stat : 3485 (java) S 3483 3485 3043 0 -1 0 2887 0 1 0 7 1 0 0 19 0 8 0 271334747 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.514471 s]
/proc/loadavg: 1.98 2.00 1.92 2/81 3486
/proc/meminfo: memFree=1398712/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915332 CPUtime=0.49
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 6340 0 1 0 45 4 0 0 18 0 8 0 271334747 937299968 6079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228833 6079 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3396 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379264/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=1.3
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7543 0 1 0 120 10 0 0 25 0 8 0 271334747 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7281 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.16
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 354 0 0 0 16 0 0 0 16 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.97688 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379264/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2.93
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7548 0 1 0 276 17 0 0 25 0 8 0 271334747 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7285 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 358 0 0 0 17 0 0 0 16 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.27343 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379136/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=6.2
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7548 0 1 0 590 30 0 0 25 0 8 0 271334747 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7285 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 358 0 0 0 17 0 0 0 16 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915436
[startup+12.7475 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379136/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=12.61
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7550 0 1 0 1204 57 0 0 25 0 8 0 271334747 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7287 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 360 0 0 0 17 0 0 0 16 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915436
[startup+25.5987 s]
/proc/loadavg: 1.99 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379264/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=25.34
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7551 0 1 0 2417 117 0 0 25 0 8 0 271334747 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7288 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 361 0 0 0 17 0 0 0 17 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) R 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915436
[startup+51.201 s]
/proc/loadavg: 1.99 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1372864/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=50.7
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9204 0 1 0 4855 215 0 0 25 0 8 0 271334747 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073697779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 8938 2548 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.24
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 399 0 0 0 24 0 0 0 15 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915436
[startup+102.41 s]
/proc/loadavg: 2.07 2.01 1.93 3/88 3493
/proc/meminfo: memFree=1372800/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=101.44
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9253 0 1 0 9928 216 0 0 25 0 8 0 271334747 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 8978 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.28
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 422 0 0 0 27 1 0 0 15 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915436
[startup+162.446 s]
/proc/loadavg: 2.02 2.01 1.93 3/88 3493
/proc/meminfo: memFree=1372736/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=160.92
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9260 0 1 0 15876 216 0 0 25 0 8 0 271334747 937406464 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2005.85
Current children cumulated vsize (KiB) 915436
[startup+2084.78 s]
/proc/loadavg: 2.10 2.03 1.97 3/88 3693
/proc/meminfo: memFree=1372288/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2065.38
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9302 0 1 0 206317 221 0 0 25 0 8 0 271334747 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 9022 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2065.38
Current children cumulated vsize (KiB) 915436
[startup+2144.86 s]
/proc/loadavg: 2.03 2.02 1.97 3/88 3693
/proc/meminfo: memFree=1372224/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2124.91
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9302 0 1 0 212270 221 0 0 25 0 8 0 271334747 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 9022 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2124.91
Current children cumulated vsize (KiB) 915436
[startup+2204.94 s]
/proc/loadavg: 2.01 2.02 1.97 3/88 3693
/proc/meminfo: memFree=1372224/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2184.45
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 218223 222 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2184.45
Current children cumulated vsize (KiB) 915436
[startup+2265 s]
/proc/loadavg: 2.00 2.01 1.97 3/87 3753
/proc/meminfo: memFree=1387536/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2244.21
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 224198 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2244.21
Current children cumulated vsize (KiB) 915436
[startup+2325.04 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 3753
/proc/meminfo: memFree=1387408/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2304.2
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 230197 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073902321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.03
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2304.2
Current children cumulated vsize (KiB) 915436
[startup+2385.08 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 3753
/proc/meminfo: memFree=1387408/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2364.18
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 236195 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.03
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2364.18
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2420.96 s]
/proc/loadavg: 2.08 2.02 1.97 3/87 3753
/proc/meminfo: memFree=1387408/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2400.03
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 239780 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.03
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2421
CPU time (s): 2400.08
CPU user time (s): 2397.84
CPU system time (s): 2.23966
CPU usage (%): 99.1356
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.84
system time used= 2.23966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9332
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50323
involuntary context switches= 119221
runsolver used 3.10453 s user time and 7.56285 s system time
The end
 
Begin job on node50 on Fri Jan 19 17:56:02 UTC 2007
IDJOB= 275924
IDBENCH= 5170
IDSOLVER= 68
FILE ID= node50/275924-1169229362
PBS_JOBID= 3589251
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-34-9-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275924-1169229362/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-275924-1169229362 -o ROOT/results/node50/solver-275924-1169229362 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275924-1169229362/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7302e3529255c5622666d6e0c9c49944
RANDOM SEED= 844460971
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:
processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1399192 kB
Buffers:         45844 kB
Cached:         468708 kB
SwapCached:        276 kB
Active:         185052 kB
Inactive:       394468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1399192 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1816 kB
Writeback:           0 kB
Mapped:          81804 kB
Slab:            62404 kB
Committed_AS:  5370468 kB
PageTables:       2008 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node50 on Fri Jan 19 18:36:23 UTC 2007