runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254051-1501612959/watcher-4254051-1501612959 -o /tmp/evaluation-result-4254051-1501612959/solver-4254051-1501612959 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1393214587 HOME/instance-4254051-1501612959.xml
pid=6066
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.24 1.61 1.19 2/196 6069
/proc/meminfo: memFree=31817416/32770624 swapFree=0/183828
[pid=6069] ppid=6066 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (runsolver) D 6066 6069 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9916189 24240128 108 18446744073709551615 4194304 4338465 140734171745696 140734171743336 140508237034199 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32456704 140734171754589 140734171755078 140734171755078 140734171758538 0
/proc/6069/statm: 5918 108 54 36 0 2156 0
[startup+0.109329 s]
/proc/loadavg: 1.24 1.61 1.19 2/196 6069
/proc/meminfo: memFree=31817416/32770624 swapFree=0/183828
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201006 s]
/proc/loadavg: 1.24 1.61 1.19 2/196 6069
/proc/meminfo: memFree=31817416/32770624 swapFree=0/183828
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300293 s]
/proc/loadavg: 1.24 1.61 1.19 2/196 6069
/proc/meminfo: memFree=31817416/32770624 swapFree=0/183828
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70037 s]
/proc/loadavg: 1.24 1.61 1.19 2/196 6069
/proc/meminfo: memFree=31817416/32770624 swapFree=0/183828
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 1.24 1.61 1.19 5/212 6085
/proc/meminfo: memFree=31720856/32770624 swapFree=0/183836
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=3.87 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 22804 0 0 0 379 8 0 0 20 0 15 0 9916196 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 30154 3176 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 8800 0 0 0 131 4 0 0 20 0 15 0 9916196 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356879546480 140356522523891 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6075] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356473571856 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6076] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6076/stat : 6076 (java) S 6069 6069 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356472519312 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6077] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6077/stat : 6077 (java) S 6069 6069 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356353849840 140356875319938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) R 6069 6069 5131 0 -1 4202560 4766 0 0 0 96 1 0 0 20 0 15 0 9916201 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356859276779 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) R 6069 6069 5131 0 -1 4202560 5471 0 0 0 98 1 0 0 20 0 15 0 9916201 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356860474430 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 2456 0 0 0 52 1 0 0 20 0 15 0 9916201 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9916207 14316269568 30154 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13990244
[startup+3.1006 s]
/proc/loadavg: 1.24 1.61 1.19 4/212 6085
/proc/meminfo: memFree=31702368/32770624 swapFree=0/183836
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=5.89 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 23282 0 0 0 581 8 0 0 20 0 15 0 9916196 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 33786 3182 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 8893 0 0 0 291 4 0 0 20 0 15 0 9916196 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356879547560 140356523302410 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6075] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356473571856 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6076] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6076/stat : 6076 (java) S 6069 6069 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356472519312 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6077] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6077/stat : 6077 (java) S 6069 6069 5131 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356353849840 140356875319938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) S 6069 6069 5131 0 -1 1077944384 4972 0 0 0 115 1 0 0 20 0 15 0 9916201 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=1.2 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) S 6069 6069 5131 0 -1 1077944384 5560 0 0 0 119 1 0 0 20 0 15 0 9916201 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 2506 0 0 0 54 1 0 0 20 0 15 0 9916201 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9916207 14316269568 33786 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 13990244
[startup+6.30063 s]
/proc/loadavg: 1.22 1.60 1.19 3/212 6085
/proc/meminfo: memFree=31663124/32770624 swapFree=0/183848
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=9.2 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 27024 0 0 0 911 9 0 0 20 0 15 0 9916196 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 43596 3192 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 9365 0 0 0 611 4 0 0 20 0 15 0 9916196 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356879544888 140356522765092 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6075] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (java) S 6069 6069 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356473571856 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6076] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6076/stat : 6076 (java) S 6069 6069 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356472519312 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6077] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6077/stat : 6077 (java) S 6069 6069 5131 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356353849840 140356875319938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=1.21 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) S 6069 6069 5131 0 -1 1077944384 6178 0 0 0 120 1 0 0 20 0 15 0 9916201 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) S 6069 6069 5131 0 -1 1077944384 6487 0 0 0 124 1 0 0 20 0 15 0 9916201 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 2933 0 0 0 54 1 0 0 20 0 15 0 9916201 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 9916207 14316269568 43596 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.21 1.59 1.19 3/212 6085
/proc/meminfo: memFree=31625020/32770624 swapFree=0/183856
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=15.69 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 29157 0 0 0 1559 10 0 0 20 0 15 0 9916196 14316269568 50300 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 50300 3210 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 9422 0 0 0 1249 5 0 0 20 0 15 0 9916196 14316269568 50300 18446744073709551615 4194304 4196468 140732538765984 140356879545424 140356522511313 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 50300 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 627 0 0 0 0 0 0 0 20 0 15 0 9916196 14316269568 50300 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
################
# More data... #
################
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) S 6069 6069 5131 0 -1 1077944384 7732 0 0 0 127 1 0 0 20 0 15 0 9916201 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) S 6069 6069 5131 0 -1 1077944384 7824 0 0 0 131 1 0 0 20 0 15 0 9916201 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 5143 0 0 0 57 1 0 0 20 0 15 0 9916201 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 907 0 0 0 0 1 0 0 20 0 15 0 9916207 14316269568 45751 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 105.47
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.74 1.65 1.27 3/213 6252
/proc/meminfo: memFree=31636488/32770624 swapFree=0/183996
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=165.51 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 43961 0 0 0 16535 16 0 0 20 0 15 0 9916196 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 37287 3219 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=162.05 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 12912 0 0 0 16200 5 0 0 20 0 15 0 9916196 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356879547472 140356523493669 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 1110 0 0 0 3 0 0 0 20 0 15 0 9916196 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 2137 0 0 0 2 1 0 0 20 0 15 0 9916196 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6075] ppid=6069 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (java) S 6069 6069 5131 0 -1 1077944384 1309 0 0 0 2 1 0 0 20 0 15 0 9916196 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356473571856 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6076] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6076/stat : 6076 (java) S 6069 6069 5131 0 -1 1077944384 998 0 0 0 3 1 0 0 20 0 15 0 9916196 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356472519312 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6077] ppid=6069 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6071/task/6077/stat : 6077 (java) S 6069 6069 5131 0 -1 1077944384 1819 0 0 0 3 0 0 0 20 0 15 0 9916198 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356353849840 140356875319938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) S 6069 6069 5131 0 -1 1077944384 7735 0 0 0 127 1 0 0 20 0 15 0 9916201 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) S 6069 6069 5131 0 -1 1077944384 7832 0 0 0 131 1 0 0 20 0 15 0 9916201 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 5829 0 0 0 57 1 0 0 20 0 15 0 9916201 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 929 0 0 0 1 1 0 0 20 0 15 0 9916207 14316269568 37287 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 165.51
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.60 1.63 1.29 3/213 6254
/proc/meminfo: memFree=31644108/32770624 swapFree=0/184028
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=225.74 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 47580 0 0 0 22556 18 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 35388 3219 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=222.02 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 13126 0 0 0 22197 5 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356879545528 140356524370860 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 1114 0 0 0 4 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 2139 0 0 0 3 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6075] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (java) S 6069 6069 5131 0 -1 1077944384 1312 0 0 0 3 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356473571856 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6076] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6076/stat : 6076 (java) S 6069 6069 5131 0 -1 1077944384 1001 0 0 0 3 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356472519312 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6077] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6077/stat : 6077 (java) S 6069 6069 5131 0 -1 1077944384 1837 0 0 0 4 0 0 0 20 0 15 0 9916198 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356353849840 140356875319938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) S 6069 6069 5131 0 -1 1077944384 9276 0 0 0 137 1 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) S 6069 6069 5131 0 -1 1077944384 8890 0 0 0 138 1 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 6600 0 0 0 58 1 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 934 0 0 0 2 2 0 0 20 0 15 0 9916207 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 225.74
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.63 1.64 1.30 3/213 6256
/proc/meminfo: memFree=31643992/32770624 swapFree=0/184052
[pid=6069] ppid=6066 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (xcsp3-exec) S 6066 6069 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9916189 9740288 345 18446744073709551615 4194304 5098028 140735716008800 140735716006904 140010851713660 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 33206272 140735716016539 140735716016743 140735716016743 140735716020203 0
/proc/6069/statm: 2378 345 289 221 0 87 0
[pid=6071] ppid=6069 vsize=13980732 CPUtime=243.45 cores=1,3,5,7
/proc/6071/stat : 6071 (java) S 6069 6069 5131 0 -1 1077944320 47598 0 0 0 24327 18 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140732538748528 140356875308791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
/proc/6071/statm: 3495183 35388 3219 1 0 3483484 0
[pid=6071/tid=6072] ppid=6069 vsize=13980732 CPUtime=239.7 cores=1,3,5,7
/proc/6071/task/6072/stat : 6072 (java) R 6069 6069 5131 0 -1 4202560 13138 0 0 0 23965 5 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356879548288 140356523301838 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6073] ppid=6069 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6071/task/6073/stat : 6073 (java) S 6069 6069 5131 0 -1 1077944384 1115 0 0 0 4 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356475676944 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6074] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6074/stat : 6074 (java) S 6069 6069 5131 0 -1 1077944384 2142 0 0 0 3 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356474624400 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6075] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (java) S 6069 6069 5131 0 -1 1077944384 1313 0 0 0 3 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356473571856 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6076] ppid=6069 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6071/task/6076/stat : 6076 (java) S 6069 6069 5131 0 -1 1077944384 1002 0 0 0 4 1 0 0 20 0 15 0 9916196 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356472519312 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6077] ppid=6069 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6071/task/6077/stat : 6077 (java) S 6069 6069 5131 0 -1 1077944384 1837 0 0 0 5 0 0 0 20 0 15 0 9916198 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356353849840 140356875319938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6078] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6078/stat : 6078 (java) S 6069 6069 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356352796064 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6079] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6079/stat : 6079 (java) S 6069 6069 5131 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9916198 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356351743472 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6080] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6080/stat : 6080 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356350692048 140356875327387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6081] ppid=6069 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/6071/task/6081/stat : 6081 (java) S 6069 6069 5131 0 -1 1077944384 9276 0 0 0 137 1 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356349638640 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6082] ppid=6069 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/6071/task/6082/stat : 6082 (java) S 6069 6069 5131 0 -1 1077944384 8890 0 0 0 138 1 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356348586096 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6083] ppid=6069 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/6071/task/6083/stat : 6083 (java) S 6069 6069 5131 0 -1 1077944384 6600 0 0 0 58 1 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356347533552 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6084] ppid=6069 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6084/stat : 6084 (java) S 6069 6069 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9916201 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356346481248 140356875318997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
[pid=6071/tid=6085] ppid=6069 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6071/task/6085/stat : 6085 (java) S 6069 6069 5131 0 -1 1077944384 934 0 0 0 2 2 0 0 20 0 15 0 9916207 14316269568 35388 18446744073709551615 4194304 4196468 140732538765984 140356345428784 140356875319938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30302208 140732538773972 140732538774147 140732538774147 140732538777551 0
Current children cumulated CPU time (s) 243.45
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6071 sig 9
??? kill 6069 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6069 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=923
# CPU time returned by wait4() is 0.001846
# while last known CPU time is 243.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.45
CPU user time (s): 243.27
CPU system time (s): 0.18
CPU usage (%): 101.433
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000923
system time used= 0.000923
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03069 second user time and 1.35246 second system time
The end