0.44
0.44 Abscon 109 (November, 2006)
0.44
0.44 configuration
0.44 name=epfc.xml
0.51
0.51 instance
0.51 name=/tmp/evaluation/277615-1169269260/unknown.xml
0.54
0.54 domains being loaded...
0.54
0.54 variables being loaded...
0.57 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.57 => wckTime=0.126 cpuTime=0.08 mem=6M887
0.57
0.57 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=678 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=664
0.72 nbConflictsStructures=14 nbSharedConflictsStructures=664 nbSharedBinaryRepresentations=52 maxDegree=37
0.72 maxArity=2
0.72 => wckTime=0.28 cpuTime=0.18 mem=8M837
0.76
0.76 solver LocalSearchSolver being built...
0.80 => wckTime=0.358 cpuTime=0.21 mem=5M700
0.80
0.80 s SATISFIABLE
0.80 o 370
0.80 c 308
0.81 o 378
0.81 c 300
0.81 o 382
0.81 c 296
0.81 o 389
0.81 c 289
0.81 o 392
0.81 c 286
0.81 o 394
0.81 c 284
0.81 o 397
0.81 c 281
0.81 o 402
0.81 c 276
0.81 o 406
0.81 c 272
0.81 o 412
0.81 c 266
0.81 o 413
0.81 c 265
0.82 o 414
0.82 c 264
0.82 o 416
0.82 c 262
0.82 o 419
0.82 c 259
0.84 o 420
0.84 c 258
0.93 o 421
0.93 c 257
0.99 o 423
0.99 c 255
1.03 o 424
1.03 c 254
1.03 o 425
1.03 c 253
3.02
3.03 search
3.03 run=0 nbConstraintChecks=10968146 nbAssignments=10000
3.03 => wckTime=2.225 cpuTime=2.21 mem=5M700
5.24
5.24 search
5.24 run=1 nbConstraintChecks=22050179 nbAssignments=20000
5.24 => wckTime=4.439 cpuTime=4.4 mem=5M700
7.40
7.40 search
7.40 run=2 nbConstraintChecks=33012096 nbAssignments=30000
7.40 => wckTime=6.604 cpuTime=6.56 mem=5M700
9.58
9.59 search
9.59 run=3 nbConstraintChecks=44088484 nbAssignments=40000
9.59 => wckTime=8.789 cpuTime=8.75 mem=5M700
11.75
11.75 search
11.75 run=4 nbConstraintChecks=55052246 nbAssignments=50000
11.75 => wckTime=10.949 cpuTime=10.9 mem=5M700
13.91
13.91 search
13.91 run=5 nbConstraintChecks=66132459 nbAssignments=60000
13.91 => wckTime=13.113 cpuTime=13.06 mem=5M700
16.06
16.06 search
16.06 run=6 nbConstraintChecks=77096781 nbAssignments=70000
16.06 => wckTime=15.267 cpuTime=15.22 mem=5M700
18.22
18.22 search
18.22 run=7 nbConstraintChecks=88155066 nbAssignments=80000
18.22 => wckTime=17.427 cpuTime=17.37 mem=5M700
20.37
20.37 search
20.37 run=8 nbConstraintChecks=99120525 nbAssignments=90000
20.37 => wckTime=19.573 cpuTime=19.52 mem=5M700
22.55
22.55 search
22.55 run=9 nbConstraintChecks=110211295 nbAssignments=100000
22.55 => wckTime=21.754 cpuTime=21.69 mem=5M700
24.72
24.72 search
24.72 run=10 nbConstraintChecks=121177777 nbAssignments=110000
24.72 => wckTime=23.919 cpuTime=23.86 mem=5M700
26.90
26.90 search
26.90 run=11 nbConstraintChecks=132240667 nbAssignments=120000
26.90 => wckTime=26.102 cpuTime=26.04 mem=5M700
29.07
29.07 search
29.07 run=12 nbConstraintChecks=143207903 nbAssignments=130000
29.07 => wckTime=28.271 cpuTime=28.2 mem=5M700
31.12
31.12 search
31.12 run=13 nbConstraintChecks=153522319 nbAssignments=139323
31.12 => wckTime=30.325 cpuTime=30.24 mem=5M700
31.12
31.12 global
31.12 nbConstraintChecks=153522319 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.12 solvingWckTime=30.324 solvingCpuTime=30.24 expiredTime=no totalExploration=no nbFoundSolutions=0
31.12 globalCpuTime=30.5
31.12 => wckTime=30.684 cpuTime=30.45 mem=5M700
31.12
31.12 solver IterativeSystematicSolver being built...
31.26 => wckTime=30.818 cpuTime=30.55 mem=16M817
31.33
31.33 preprocessing
31.33 nbConstraintChecks=72610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.33 detectedInconsistency=no
31.33 => wckTime=0.069 cpuTime=0.05 mem=16M817
31.36
31.36 search
31.36 run=0 nbConstraintChecks=56742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
31.36 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0
31.36 => wckTime=0.101 cpuTime=0.07 mem=16M817
31.41
31.41 search
31.41 run=1 nbConstraintChecks=134516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83
31.41 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=124 nbRestartNogoods=1
31.41 => wckTime=0.147 cpuTime=0.11 mem=16M817
31.45
31.45 search
31.45 run=2 nbConstraintChecks=240030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=139
31.45 nbFailedAssignments=32 nbBacktracks=49 nbVisitedNodes=218 nbRestartNogoods=3
31.45 => wckTime=0.19 cpuTime=0.15 mem=16M817
31.50
31.50 search
31.50 run=3 nbConstraintChecks=381686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=213
31.50 nbFailedAssignments=54 nbBacktracks=82 nbVisitedNodes=344 nbRestartNogoods=4
31.50 => wckTime=0.244 cpuTime=0.2 mem=16M817
31.58
31.58 search
31.58 run=4 nbConstraintChecks=571151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=308
31.58 nbFailedAssignments=80 nbBacktracks=132 nbVisitedNodes=515 nbRestartNogoods=6
31.58 => wckTime=0.32 cpuTime=0.28 mem=16M817
31.71
31.71 search
31.71 run=5 nbConstraintChecks=883989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458
31.71 nbFailedAssignments=137 nbBacktracks=209 nbVisitedNodes=791 nbRestartNogoods=10
31.71 => wckTime=0.446 cpuTime=0.4 mem=16M817
31.86
31.86 search
31.86 run=6 nbConstraintChecks=1287571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=657
31.86 nbFailedAssignments=202 nbBacktracks=322 nbVisitedNodes=1164 nbRestartNogoods=14
31.86 => wckTime=0.598 cpuTime=0.55 mem=16M817
32.11
32.11 search
32.11 run=7 nbConstraintChecks=1947295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=954
32.11 nbFailedAssignments=313 nbBacktracks=492 nbVisitedNodes=1739 nbRestartNogoods=18
32.11 => wckTime=0.848 cpuTime=0.8 mem=16M817
32.49
32.49 search
32.49 run=8 nbConstraintChecks=2972281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1409
32.49 nbFailedAssignments=496 nbBacktracks=748 nbVisitedNodes=2616 nbRestartNogoods=21
32.49 => wckTime=1.226 cpuTime=1.17 mem=16M817
33.06
33.06 search
33.06 run=9 nbConstraintChecks=4445358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2058
33.06 nbFailedAssignments=739 nbBacktracks=1132 nbVisitedNodes=3883 nbRestartNogoods=24
33.06 => wckTime=1.8 cpuTime=1.73 mem=16M817
33.89
33.89 search
33.89 run=10 nbConstraintChecks=6662076 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3038
33.89 nbFailedAssignments=1125 nbBacktracks=1708 nbVisitedNodes=5806 nbRestartNogoods=27
33.89 => wckTime=2.628 cpuTime=2.55 mem=16M817
35.17
35.17 search
35.17 run=11 nbConstraintChecks=10039653 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4482
35.17 nbFailedAssignments=1695 nbBacktracks=2572 nbVisitedNodes=8651 nbRestartNogoods=31
35.17 => wckTime=3.908 cpuTime=3.82 mem=16M817
36.95
36.95 search
36.95 run=12 nbConstraintChecks=14798074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6570
36.95 nbFailedAssignments=2469 nbBacktracks=3869 nbVisitedNodes=12761 nbRestartNogoods=37
36.95 => wckTime=5.688 cpuTime=5.59 mem=16M817
39.82
39.82 search
39.82 run=13 nbConstraintChecks=22377177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9879
39.82 nbFailedAssignments=3817 nbBacktracks=5816 nbVisitedNodes=19267 nbRestartNogoods=41
39.82 => wckTime=8.565 cpuTime=8.46 mem=16M817
43.86
43.86 search
43.86 run=14 nbConstraintChecks=32985340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14624
43.86 nbFailedAssignments=5626 nbBacktracks=8735 nbVisitedNodes=28635 nbRestartNogoods=48
43.86 => wckTime=12.598 cpuTime=12.49 mem=16M817
50.57
50.57 search
50.57 run=15 nbConstraintChecks=50268861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21935
50.57 nbFailedAssignments=8543 nbBacktracks=13114 nbVisitedNodes=43103 nbRestartNogoods=54
50.57 => wckTime=19.309 cpuTime=19.19 mem=16M817
60.17
60.17 search
60.17 run=16 nbConstraintChecks=75476332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32772
60.17 nbFailedAssignments=12797 nbBacktracks=19682 nbVisitedNodes=64515 nbRestartNogoods=58
60.17 => wckTime=28.914 cpuTime=28.79 mem=16M817
74.84
74.84 search
74.84 run=17 nbConstraintChecks=113575812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49200
74.84 nbFailedAssignments=19355 nbBacktracks=29534 nbVisitedNodes=96890 nbRestartNogoods=64
74.84 => wckTime=43.582 cpuTime=43.45 mem=16M817
96.95
96.95 search
96.95 run=18 nbConstraintChecks=170532636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73929
96.95 nbFailedAssignments=29292 nbBacktracks=44312 nbVisitedNodes=145591 nbRestartNogoods=71
96.95 => wckTime=65.689 cpuTime=65.51 mem=16M817
129.77
129.77 search
129.77 run=19 nbConstraintChecks=253217399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109552
129.77 nbFailedAssignments=42732 nbBacktracks=66480 nbVisitedNodes=215979 nbRestartNogoods=78
129.77 => wckTime=98.51 cpuTime=98.29 mem=16M817
178.58
178.58 search
178.58 run=20 nbConstraintChecks=378274905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163124
178.58 nbFailedAssignments=63040 nbBacktracks=99732 nbVisitedNodes=321909 nbRestartNogoods=84
178.58 => wckTime=147.323 cpuTime=147.05 mem=16M817
247.43 o 426
247.43 c 252
253.92
253.92 search
253.92 run=21 nbConstraintChecks=566076371 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244003
253.92 nbFailedAssignments=94029 nbBacktracks=149610 nbVisitedNodes=481291 nbRestartNogoods=90
253.93 => wckTime=222.666 cpuTime=222.34 mem=16M817
371.70
371.70 search
371.70 run=22 nbConstraintChecks=857269146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=368575
371.70 nbFailedAssignments=143766 nbBacktracks=224429 nbVisitedNodes=726223 nbRestartNogoods=100
371.70 => wckTime=340.444 cpuTime=339.98 mem=16M817
553.71
553.71 search
553.71 run=23 nbConstraintChecks=1303203329 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=555156
553.71 nbFailedAssignments=218105 nbBacktracks=336656 nbVisitedNodes=1092679 nbRestartNogoods=108
553.71 => wckTime=522.449 cpuTime=521.77 mem=16M817
717.67
717.67 search
717.67 run=24 nbConstraintChecks=1701031216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=721972
717.67 nbFailedAssignments=284842 nbBacktracks=436736 nbVisitedNodes=1419842 nbRestartNogoods=115
717.67 => wckTime=686.41 cpuTime=685.56 mem=16M817
717.67
717.67 global
717.67 nbConstraintChecks=1701103826 nbRestartNogoods=115 solvingWckTime=686.411 solvingCpuTime=685.56 expiredTime=no
717.67 totalExploration=yes nbFoundSolutions=1 globalCpuTime=716.16
717.67 => wckTime=717.231 cpuTime=716.11 mem=16M817
717.67
717.67 s OPTIMUM FOUND
717.67 v 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1
717.67
717.68 totalWckTime=717.314 totalCpuTime=716.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-277615-1169269260 -o ROOT/results/node9/solver-277615-1169269260 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277615-1169269260/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.70 1.93 1.97 4/94 866
/proc/meminfo: memFree=1263888/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=9948 CPUtime=0
/proc/865/stat : 865 (java) S 863 865 749 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 275321246 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/865/statm: 2487 472 386 14 0 1142 0
[startup+0.105678 s]
/proc/loadavg: 1.70 1.93 1.97 4/94 866
/proc/meminfo: memFree=1263888/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=9948 CPUtime=0
/proc/865/stat : 865 (java) S 863 865 749 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 275321246 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/865/statm: 2487 472 386 14 0 1142 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9948
[startup+0.513736 s]
/proc/loadavg: 1.70 1.93 1.97 4/94 866
/proc/meminfo: memFree=1263888/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=915332 CPUtime=0.32
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 5465 0 1 0 30 2 0 0 18 0 8 0 275321246 937299968 5204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154159400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 228833 5204 2055 14 0 215303 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 915332
[startup+1.34083 s]
/proc/loadavg: 1.70 1.93 1.97 3/107 899
/proc/meminfo: memFree=1244200/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=915460 CPUtime=1.15
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 7282 0 1 0 103 12 0 0 23 0 8 0 275321246 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 228865 7020 2479 14 0 215335 0
[pid=865/tid=867] ppid=863 vsize=915460 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 204 0 0 0 2 0 0 0 17 0 8 0 275321261 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=915460 CPUtime=0.13
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 340 0 0 0 13 0 0 0 16 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915460
[startup+2.98501 s]
/proc/loadavg: 1.73 1.93 1.97 4/107 899
/proc/meminfo: memFree=1244200/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=915460 CPUtime=2.79
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 7283 0 1 0 238 41 0 0 18 0 8 0 275321246 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9096625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 228865 7020 2479 14 0 215335 0
[pid=865/tid=867] ppid=863 vsize=915460 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275321261 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=915460 CPUtime=0.13
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 340 0 0 0 13 0 0 0 16 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 937431040 7020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915460
[startup+6.26739 s]
/proc/loadavg: 1.73 1.93 1.97 3/107 937
/proc/meminfo: memFree=1243920/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=915460 CPUtime=6.06
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 7285 0 1 0 512 94 0 0 25 0 8 0 275321246 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 228865 7022 2479 14 0 215335 0
[pid=865/tid=867] ppid=863 vsize=915460 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275321261 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=915460 CPUtime=0.13
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 275321265 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=915460 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 937431040 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915460
[startup+12.7641 s]
/proc/loadavg: 1.77 1.93 1.97 3/107 945
/proc/meminfo: memFree=1243984/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=12.55
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 7287 0 1 0 1056 199 0 0 18 0 8 0 275321246 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 7024 2479 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916488 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938483712 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.13
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 916484
[startup+25.6386 s]
/proc/loadavg: 1.88 1.95 1.98 3/107 981
/proc/meminfo: memFree=1244048/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=25.41
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 7287 0 1 0 2123 418 0 0 25 0 8 0 275321246 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 7024 2479 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916488 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938483712 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.13
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 916484
[startup+51.2835 s]
/proc/loadavg: 2.00 1.97 1.98 3/107 1037
/proc/meminfo: memFree=1236632/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=50.99
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9220 0 1 0 4586 513 0 0 25 0 8 0 275321246 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8954 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.24
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 275321265 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 916484
[startup+102.559 s]
/proc/loadavg: 2.10 2.00 1.99 3/101 1070
/proc/meminfo: memFree=1237664/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=102.21
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9227 0 1 0 9706 515 0 0 25 0 8 0 275321246 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8961 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.24
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 275321265 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 916484
[startup+162.579 s]
/proc/loadavg: 2.03 2.00 1.99 3/101 1070
/proc/meminfo: memFree=1237664/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=162.17
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9230 0 1 0 15702 515 0 0 25 0 8 0 275321246 938479616 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 916484
[startup+342.649 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 1070
/proc/meminfo: memFree=1237728/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=342.05
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9238 0 1 0 33690 515 0 0 25 0 8 0 275321246 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073887892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8970 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 916484
[startup+402.66 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 1070
/proc/meminfo: memFree=1237728/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=401.98
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9240 0 1 0 39683 515 0 0 25 0 8 0 275321246 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8972 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 916484
[startup+462.745 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 1521
/proc/meminfo: memFree=1247360/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=461.99
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9240 0 1 0 45680 519 0 0 25 0 8 0 275321246 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8972 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 916484
[startup+522.816 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 1768
/proc/meminfo: memFree=1223512/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=522
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9240 0 1 0 51678 522 0 0 25 0 8 0 275321246 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8972 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 916484
[startup+582.865 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 1768
/proc/meminfo: memFree=1223448/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=581.98
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9242 0 1 0 57675 523 0 0 25 0 8 0 275321246 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848683 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8974 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 916484
[startup+642.917 s]
/proc/loadavg: 2.04 2.00 1.99 3/100 1768
/proc/meminfo: memFree=1223448/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=641.98
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9242 0 1 0 63675 523 0 0 25 0 8 0 275321246 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8974 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 916484
[startup+702.973 s]
/proc/loadavg: 2.01 2.00 1.99 3/100 1768
/proc/meminfo: memFree=1223448/2055920 swapFree=4191880/4192956
[pid=865] ppid=863 vsize=916484 CPUtime=701.99
/proc/865/stat : 865 (java) R 863 865 749 0 -1 0 9242 0 1 0 69676 523 0 0 25 0 8 0 275321246 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/865/statm: 229121 8974 2532 14 0 215591 0
[pid=865/tid=867] ppid=863 vsize=916484 CPUtime=0.02
/proc/865/task/867/stat : 867 (java) S 863 865 749 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 275321261 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=868] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/868/stat : 868 (java) S 863 865 749 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=869] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/869/stat : 869 (java) S 863 865 749 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275321262 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=870] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/870/stat : 870 (java) S 863 865 749 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=871] ppid=863 vsize=916484 CPUtime=0.25
/proc/865/task/871/stat : 871 (java) S 863 865 749 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=865/tid=872] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/872/stat : 872 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=865/tid=873] ppid=863 vsize=916484 CPUtime=0
/proc/865/task/873/stat : 873 (java) S 863 865 749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275321265 938479616 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 717.718
CPU time (s): 716.67
CPU user time (s): 711.434
CPU system time (s): 5.2362
CPU usage (%): 99.8539
Max. virtual memory (cumulated for all children) (KiB): 916488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 711.434
system time used= 5.2362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9341
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= 15744
involuntary context switches= 21194
runsolver used 0.894863 s user time and 2.33164 s system time
The end
Begin job on node9 on Sat Jan 20 05:01:01 UTC 2007
IDJOB= 277615
IDBENCH= 7478
IDSOLVER= 68
FILE ID= node9/277615-1169269260
PBS_JOBID= 3607411
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-1100-2000/cnf-2-40-1800-067521_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277615-1169269260/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-277615-1169269260 -o ROOT/results/node9/solver-277615-1169269260 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277615-1169269260/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c1a236ff51e1fd34b7e79797ed292a6
RANDOM SEED= 429889844
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.231
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 : 5914.62
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.231
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: 1264304 kB
Buffers: 59384 kB
Cached: 586688 kB
SwapCached: 268 kB
Active: 297632 kB
Inactive: 409136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1264304 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 80388 kB
Slab: 69464 kB
Committed_AS: 8224112 kB
PageTables: 2396 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 node9 on Sat Jan 20 05:12:59 UTC 2007