0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3
0.16 c sun.arch.data.model 32
0.16 c java.version 1.5.0_10
0.16 c os.name Linux
0.16 c os.version 2.6.9-22.EL.rootsmp
0.16 c os.arch i386
0.16 c Free memory 722620888
0.16 c Max memory 723845120
0.16 c Total memory 723845120
0.16 c Number of processors 2
0.25 c --- Begin Solver configuration ---
0.25 c Stops conflict analysis at the first Unique Implication Point
0.25 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25 c Learn all clauses as in MiniSAT
0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.25 c VSIDS like heuristics from MiniSAT using a heap
0.25 c No reason simplification
0.25 c --- End Solver configuration ---
0.25 c solving /tmp/evaluation/237843-1168351541/unknown.xml
0.25 c reading problem ...
0.52 c reading problem named ?
0.53 c reading domains done.
0.53 c reading variables
c reading variables (1024) done.
1.25 c reading predicates
c reading relations (5) done.
1.48 c reading constraints
c reading constraints done.
42.41 c ... done. Wall clock time 42.156s.
42.41 c CPU time (experimental) 35.71s.
42.41 c #vars 32768
42.41 c #constraints 1017856
563.14 c cleaning 79989 clauses out of 160000 for limit 20785.661967771885
565.70 c cleaning 40241 clauses out of 80511 for limit 68121.54809348485
568.14 c cleaning 20377 clauses out of 40774 for limit 222715.44991461615
570.22 c cleaning 10433 clauses out of 20894 for limit 714602.3256529588
571.65 c cleaning 5470 clauses out of 10960 for limit 2244382.308683333
572.82 c cleaning 2995 clauses out of 5991 for limit 6777951.705541656
573.78 c cleaning 1740 clauses out of 3495 for limit 1.9141324454021145E7
574.70 c cleaning 1120 clauses out of 2256 for limit 4.895200317554361E7
575.56 c cleaning 808 clauses out of 1636 for limit 1.113222950658159E8
576.35 c cleaning 665 clauses out of 1330 for limit 2.2627611847341406E8
577.04 c cleaning 570 clauses out of 1166 for limit 4.260712296803655E8
577.72 c cleaning 547 clauses out of 1096 for limit 7.475256389750371E8
578.42 c cleaning 522 clauses out of 1045 for limit 1.2877696826746507E9
1626.65 c cleaning 80751 clauses out of 161524 for limit 7.543059866774196E-4
1628.34 c cleaning 40631 clauses out of 81273 for limit 0.0024722603947482137
1629.89 c cleaning 20569 clauses out of 41146 for limit 0.008085498761637803
1631.25 c cleaning 10522 clauses out of 21072 for limit 0.025906694703170106
1632.66 c cleaning 5512 clauses out of 11050 for limit 0.08147256207290787
1633.77 c cleaning 3005 clauses out of 6038 for limit 0.2458874879747535
1634.65 c cleaning 1751 clauses out of 3533 for limit 0.6930136493667222
1635.45 c cleaning 1126 clauses out of 2283 for limit 1.7703939350974962
1636.23 c cleaning 813 clauses out of 1658 for limit 4.024219833852836
1636.97 c cleaning 654 clauses out of 1343 for limit 8.176681365699618
1637.63 c cleaning 582 clauses out of 1190 for limit 15.233388715619165
1638.31 c cleaning 542 clauses out of 1108 for limit 26.981097558866043
1638.98 c cleaning 521 clauses out of 1067 for limit 46.25144994111075
1639.78 c cleaning 511 clauses out of 1046 for limit 77.80615856727128
1640.59 c cleaning 504 clauses out of 1035 for limit 129.67647473648594
1641.40 c cleaning 499 clauses out of 1029 for limit 214.670829369503
1642.12 c cleaning 499 clauses out of 1031 for limit 353.68785112726374
1642.84 c cleaning 503 clauses out of 1033 for limit 582.7320234714764
1643.60 c cleaning 505 clauses out of 1030 for limit 963.8021012480209
1644.28 c cleaning 497 clauses out of 1026 for limit 1597.232474286408
1645.03 c cleaning 497 clauses out of 1028 for limit 2626.2964876811197
1645.75 c cleaning 507 clauses out of 1034 for limit 4318.925882038673
1646.52 c cleaning 497 clauses out of 1022 for limit 7170.157940638755
1804.03 c starts : 19
1804.03 c conflicts : 375593
1804.03 c decisions : 745159
1804.03 c propagations : 10813245
1804.03 c inspects : 2710553096
1804.03 c learnt literals : 0
1804.03 c learnt binary clauses : 0
1804.03 c learnt ternary clauses : 0
1804.03 c learnt clauses : 375593
1804.03 c root simplifications : 0
1804.03 c removed literals (reason simplification) : 0
1804.03 c reason swapping (by a shorter reason) : 0
1804.03 c Calls to reduceDB : 36
1804.03 c speed (decisions/second) : 423.0084526870916
1804.03 c non guided choices 336107
1804.03 s UNKNOWN
1804.03 c Total wall clock time (in seconds) : 1803.78
1804.03 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-237843-1168351541 -o ROOT/results/node22/solver-237843-1168351541 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237843-1168351541/sat4jCSP-bf3.jar /tmp/evaluation/237843-1168351541/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 2.10 2.04 2.01 4/87 7469
/proc/meminfo: memFree=1783048/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=18540 CPUtime=0
/proc/7468/stat : 7468 (runsolver) R 7466 7468 6316 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183548611 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7468/statm: 4635 279 244 17 0 2626 0
[startup+0.108117 s]
/proc/loadavg: 2.10 2.04 2.01 4/87 7469
/proc/meminfo: memFree=1783048/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=901540 CPUtime=0.08
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 3334 0 1 0 7 1 0 0 20 0 12 0 183548611 923176960 3094 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152941696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 225385 3094 1562 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.51818 s]
/proc/loadavg: 2.10 2.04 2.01 4/87 7469
/proc/meminfo: memFree=1783048/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=905236 CPUtime=0.49
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 5867 0 1 0 46 3 0 0 19 0 12 0 183548611 926961664 5461 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155215244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 226309 5461 2258 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236
[startup+1.34631 s]
/proc/loadavg: 2.10 2.04 2.01 4/98 7480
/proc/meminfo: memFree=1767088/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=905524 CPUtime=1.31
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 8726 0 1 0 126 5 0 0 23 0 12 0 183548611 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4149864289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 226381 8210 2402 14 0 212818 0
[pid=7468/tid=7470] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 183548614 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 183548614 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183548617 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 183548618 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 183548618 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=905524 CPUtime=0.24
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 262 0 0 0 24 0 0 0 16 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=905524 CPUtime=0.33
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 789 0 0 0 33 0 0 0 16 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=905524 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 927256576 8210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 905524
[startup+2.98556 s]
/proc/loadavg: 2.10 2.04 2.01 3/98 7480
/proc/meminfo: memFree=1751152/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=907736 CPUtime=2.94
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 17124 0 1 0 285 9 0 0 24 0 12 0 183548611 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 226934 15145 2476 14 0 213371 0
[pid=7468/tid=7470] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 183548614 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 183548614 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183548617 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 183548618 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 183548618 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=907736 CPUtime=0.56
/proc/7468/task/7477/stat : 7477 (java) R 7466 7468 6316 0 -1 64 753 0 0 0 56 0 0 0 16 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151169584 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=907736 CPUtime=0.81
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 2309 0 0 0 81 0 0 0 16 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=907736 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 929521664 15145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 907736
[startup+6.21205 s]
/proc/loadavg: 2.10 2.04 2.01 4/98 7480
/proc/meminfo: memFree=1682480/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=908380 CPUtime=6.13
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 30934 0 1 0 599 14 0 0 25 0 12 0 183548611 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 227095 27498 2480 14 0 213532 0
[pid=7468/tid=7470] ppid=7466 vsize=908380 CPUtime=0.09
/proc/7468/task/7470/stat : 7470 (java) R 7466 7468 6316 0 -1 64 3439 0 0 0 8 1 0 0 16 0 12 0 183548614 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631186 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=908380 CPUtime=0.06
/proc/7468/task/7471/stat : 7471 (java) R 7466 7468 6316 0 -1 64 2791 0 0 0 6 0 0 0 16 0 12 0 183548614 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958789 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 183548617 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183548618 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183548618 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=908380 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=908380 CPUtime=1.01
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 1715 0 0 0 101 0 0 0 16 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=908380 CPUtime=1.17
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 2777 0 0 0 117 0 0 0 15 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=908380 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 930181120 27498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 908380
[startup+12.7039 s]
/proc/loadavg: 2.09 2.04 2.01 3/98 7480
/proc/meminfo: memFree=1655096/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=908900 CPUtime=12.62
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 40774 0 1 0 1245 17 0 0 25 0 12 0 183548611 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054243249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7468/statm: 227225 35950 2481 14 0 213662 0
[pid=7468/tid=7470] ppid=7466 vsize=908900 CPUtime=0.46
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 9135 0 0 0 43 3 0 0 16 0 12 0 183548614 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7471] ppid=7466 vsize=908900 CPUtime=0.23
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 5552 0 0 0 22 1 0 0 16 0 12 0 183548614 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7472] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 183548617 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7473] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=908900 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=908900 CPUtime=1.35
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 1966 0 0 0 135 0 0 0 15 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=908900 CPUtime=1.79
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 3892 0 0 0 178 1 0 0 15 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 930713600 35950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 908900
[startup+25.5788 s]
/proc/loadavg: 2.07 2.04 2.01 3/98 7480
/proc/meminfo: memFree=1583160/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=908900 CPUtime=25.5
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 58853 0 1 0 2526 24 0 0 25 0 12 0 183548611 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054155507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227225 53319 2485 14 0 213662 0
[pid=7468/tid=7470] ppid=7466 vsize=908900 CPUtime=0.85
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 17518 0 0 0 80 5 0 0 16 0 12 0 183548614 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=908900 CPUtime=0.65
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 15196 0 0 0 61 4 0 0 16 0 12 0 183548614 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=908900 CPUtime=0.01
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12 0 0 0 1 0 0 0 15 0 12 0 183548617 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7474] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183548618 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7475] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=908900 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7477] ppid=7466 vsize=908900 CPUtime=1.61
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 1984 0 0 0 161 0 0 0 16 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7478] ppid=7466 vsize=908900 CPUtime=2.01
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 3903 0 0 0 200 1 0 0 16 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7479] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=908900 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183548621 930713600 53319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 908900
[startup+51.247 s]
/proc/loadavg: 2.04 2.03 2.00 4/99 7481
/proc/meminfo: memFree=1381296/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=51.1
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 108451 0 1 0 5068 42 0 0 25 0 13 0 183548611 932290560 102703 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055123306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 102703 2490 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=1.7
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 39627 0 0 0 158 12 0 0 16 0 13 0 183548614 932290560 102703 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=1.54
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 42580 0 0 0 140 14 0 0 16 0 13 0 183548614 932290560 102703 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=0.01
################
# More data... #
################
/proc/loadavg: 2.07 2.04 2.00 3/106 7559
/proc/meminfo: memFree=939384/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1600.17
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 197230 0 1 0 159931 86 0 0 25 0 13 0 183548611 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055134687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 184329 2493 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.16
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 288 28 0 0 17 0 13 0 183548614 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.07
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 279 28 0 0 17 0 13 0 183548614 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=4.88
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 12059 0 0 0 483 5 0 0 16 0 13 0 183548617 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 184329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.17
Current children cumulated vsize (KiB) 910440
[startup+1663.98 s]
/proc/loadavg: 2.05 2.04 2.00 3/106 7559
/proc/meminfo: memFree=932024/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1660.15
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202817 0 1 0 165926 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055123156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.22
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 294 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.11
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 283 28 0 0 16 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.15
Current children cumulated vsize (KiB) 910440
[startup+1724.04 s]
/proc/loadavg: 2.02 2.03 2.00 3/106 7559
/proc/meminfo: memFree=931960/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1720.16
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202818 0 1 0 171927 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055122822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.24
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 296 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.13
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 285 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.16
Current children cumulated vsize (KiB) 910440
[startup+1784.11 s]
/proc/loadavg: 2.00 2.02 2.00 3/106 7559
/proc/meminfo: memFree=931896/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1780.16
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202819 0 1 0 177927 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055122822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.27
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 299 28 0 0 16 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.19
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 291 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.16
Current children cumulated vsize (KiB) 910440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.02 s]
/proc/loadavg: 2.07 2.04 2.00 3/106 7559
/proc/meminfo: memFree=931896/2055920 swapFree=4157544/4192956
[pid=7468] ppid=7466 vsize=910440 CPUtime=1800.05
/proc/7468/stat : 7468 (java) R 7466 7468 6316 0 -1 0 202819 0 1 0 179916 89 0 0 25 0 13 0 183548611 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055122621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7468/statm: 227610 186168 2495 14 0 214047 0
[pid=7468/tid=7470] ppid=7466 vsize=910440 CPUtime=3.27
/proc/7468/task/7470/stat : 7470 (java) S 7466 7468 6316 0 -1 64 79410 0 0 0 299 28 0 0 16 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=910440 CPUtime=3.19
/proc/7468/task/7471/stat : 7471 (java) S 7466 7468 6316 0 -1 64 79226 0 0 0 291 28 0 0 17 0 13 0 183548614 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=910440 CPUtime=6.74
/proc/7468/task/7472/stat : 7472 (java) S 7466 7468 6316 0 -1 64 17642 0 0 0 667 7 0 0 16 0 13 0 183548617 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7473/stat : 7473 (java) S 7466 7468 6316 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7474/stat : 7474 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183548618 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7475/stat : 7475 (java) S 7466 7468 6316 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7476] ppid=7466 vsize=910440 CPUtime=0.01
/proc/7468/task/7476/stat : 7476 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=910440 CPUtime=2.12
/proc/7468/task/7477/stat : 7477 (java) S 7466 7468 6316 0 -1 64 2029 0 0 0 212 0 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=910440 CPUtime=2.45
/proc/7468/task/7478/stat : 7478 (java) S 7466 7468 6316 0 -1 64 4179 0 0 0 244 1 0 0 16 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7479/stat : 7479 (java) S 7466 7468 6316 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7468/tid=7480] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7480/stat : 7480 (java) S 7466 7468 6316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183548621 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=910440 CPUtime=0
/proc/7468/task/7481/stat : 7481 (java) S 7466 7468 6316 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 183552858 932290560 186168 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 910440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.19
CPU time (s): 1800.22
CPU user time (s): 1799.22
CPU system time (s): 1.00585
CPU usage (%): 99.78
Max. virtual memory (cumulated for all children) (KiB): 914444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.00585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202839
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= 38971
involuntary context switches= 67179
runsolver used 2.30965 s user time and 5.77012 s system time
The end
Begin job on node22 on Tue Jan 9 14:05:42 UTC 2007
IDJOB= 237843
IDBENCH= 6966
FILE ID= node22/237843-1168351541
PBS_JOBID= 3503662
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_32.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237843-1168351541/sat4jCSP-bf3.jar /tmp/evaluation/237843-1168351541/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-237843-1168351541 -o ROOT/results/node22/solver-237843-1168351541 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237843-1168351541/sat4jCSP-bf3.jar /tmp/evaluation/237843-1168351541/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 3ff483edd60f3e73118ce7d27f98532d
RANDOM SEED= 172546490
TIME LIMIT= 1800 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.279
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.279
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: 1783464 kB
Buffers: 16444 kB
Cached: 133900 kB
SwapCached: 11224 kB
Active: 153900 kB
Inactive: 64104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1783464 kB
SwapTotal: 4192956 kB
SwapFree: 4157544 kB
Dirty: 4308 kB
Writeback: 0 kB
Mapped: 86680 kB
Slab: 39248 kB
Committed_AS: 3630316 kB
PageTables: 2288 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= 66559 MiB
End job on node22 on Tue Jan 9 14:35:46 UTC 2007