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-4253950-1501615785/watcher-4253950-1501615785 -o /tmp/evaluation-result-4253950-1501615785/solver-4253950-1501615785 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1857932744 HOME/instance-4253950-1501615785.xml
pid=9069
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.45 1.69 1.83 3/195 9072
/proc/meminfo: memFree=31770136/32770624 swapFree=0/184880
[pid=9072] ppid=9069 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (runsolver) D 9069 9072 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10201572 24240128 106 18446744073709551615 4194304 4338465 140730862877472 140730862875112 139950641820375 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 13332480 140730862878813 140730862879302 140730862879302 140730862882762 0
/proc/9072/statm: 5918 106 53 36 0 2156 0
[startup+0.100135 s]
/proc/loadavg: 1.45 1.69 1.83 3/195 9072
/proc/meminfo: memFree=31770136/32770624 swapFree=0/184880
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200168 s]
/proc/loadavg: 1.45 1.69 1.83 3/195 9072
/proc/meminfo: memFree=31770136/32770624 swapFree=0/184880
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30027 s]
/proc/loadavg: 1.45 1.69 1.83 3/195 9072
/proc/meminfo: memFree=31770136/32770624 swapFree=0/184880
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700643 s]
/proc/loadavg: 1.45 1.69 1.83 3/195 9072
/proc/meminfo: memFree=31770136/32770624 swapFree=0/184880
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50062 s]
/proc/loadavg: 1.45 1.69 1.83 4/211 9088
/proc/meminfo: memFree=31662328/32770624 swapFree=0/184880
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 17396 0 0 0 298 6 0 0 20 0 15 0 10201582 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 30144 3181 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 8275 0 0 0 130 4 0 0 20 0 15 0 10201582 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954599285184 139954215011516 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9078] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9078/stat : 9078 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954193341584 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9079] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9079/stat : 9079 (java) S 9072 9072 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954192288784 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9080] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9080/stat : 9080 (java) S 9072 9072 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10201584 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954140735600 139954595060354 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954139681568 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954138629232 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 3228 0 0 0 67 0 0 0 20 0 15 0 10201587 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 2559 0 0 0 63 0 0 0 20 0 15 0 10201587 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 2017 0 0 0 35 0 0 0 20 0 15 0 10201587 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10201592 14316269568 30144 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13990244
[startup+3.10062 s]
/proc/loadavg: 1.45 1.69 1.83 3/211 9088
/proc/meminfo: memFree=31655236/32770624 swapFree=0/184888
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=4.71 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 17920 0 0 0 465 6 0 0 20 0 15 0 10201582 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 32227 3181 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 8378 0 0 0 290 4 0 0 20 0 15 0 10201582 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954599287848 139954214882365 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9078] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9078/stat : 9078 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954193341584 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9079] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9079/stat : 9079 (java) S 9072 9072 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954192288784 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9080] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9080/stat : 9080 (java) S 9072 9072 5091 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10201584 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954140735600 139954595060354 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954139681568 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954138629232 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 3307 0 0 0 69 0 0 0 20 0 15 0 10201587 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 2762 0 0 0 68 1 0 0 20 0 15 0 10201587 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 2122 0 0 0 36 0 0 0 20 0 15 0 10201587 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 10201592 14316269568 32227 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 13990244
[startup+6.30068 s]
/proc/loadavg: 1.42 1.68 1.82 3/211 9088
/proc/meminfo: memFree=31638524/32770624 swapFree=0/184892
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=8.03 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 20764 0 0 0 796 7 0 0 20 0 15 0 10201582 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 35850 3185 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 8691 0 0 0 610 4 0 0 20 0 15 0 10201582 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954599284848 139954214884170 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9078] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9078/stat : 9078 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954193341584 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9079] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9079/stat : 9079 (java) S 9072 9072 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954192288784 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9080] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9080/stat : 9080 (java) S 9072 9072 5091 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 10201584 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954140735600 139954595060354 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954139681568 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954138629232 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 3532 0 0 0 71 0 0 0 20 0 15 0 10201587 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 4397 0 0 0 76 1 0 0 20 0 15 0 10201587 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 2257 0 0 0 37 0 0 0 20 0 15 0 10201587 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 10201592 14316269568 35850 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.46 1.69 1.82 3/211 9088
/proc/meminfo: memFree=31602224/32770624 swapFree=0/184900
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=14.44 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 22575 0 0 0 1436 8 0 0 20 0 15 0 10201582 14316269568 44584 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 44584 3185 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 9396 0 0 0 1249 5 0 0 20 0 15 0 10201582 14316269568 44584 18446744073709551615 4194304 4196468 140725559550800 139954599288456 139954214882570 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 44584 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10201583 14316269568 44584 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
################
# More data... #
################
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954139681632 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954138629248 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=1.07 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 6072 0 0 0 107 0 0 0 20 0 15 0 10201587 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=1.08 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 6855 0 0 0 107 1 0 0 20 0 15 0 10201587 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 4432 0 0 0 45 1 0 0 20 0 15 0 10201587 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 10201592 14316269568 88597 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 105.01
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.59 1.64 1.78 3/211 9093
/proc/meminfo: memFree=31220480/32770624 swapFree=0/184972
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=165.22 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 36130 0 0 0 16502 20 0 0 20 0 15 0 10201582 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 91840 3228 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=162.05 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 11424 0 0 0 16198 7 0 0 20 0 15 0 10201582 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954599287896 139954215498015 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 478 0 0 0 5 2 0 0 20 0 15 0 10201583 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 399 0 0 0 4 2 0 0 20 0 15 0 10201583 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9078] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9078/stat : 9078 (java) S 9072 9072 5091 0 -1 1077944384 862 0 0 0 5 2 0 0 20 0 15 0 10201583 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954193341584 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9079] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9079/stat : 9079 (java) S 9072 9072 5091 0 -1 1077944384 563 0 0 0 6 1 0 0 20 0 15 0 10201583 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954192288784 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9080] ppid=9072 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9074/task/9080/stat : 9080 (java) S 9072 9072 5091 0 -1 1077944384 1160 0 0 0 1 0 0 0 20 0 15 0 10201584 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954140735600 139954595060354 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954139681632 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954138629248 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=1.14 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 6739 0 0 0 114 0 0 0 20 0 15 0 10201587 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 7925 0 0 0 116 1 0 0 20 0 15 0 10201587 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 4717 0 0 0 46 1 0 0 20 0 15 0 10201587 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 453 0 0 0 2 1 0 0 20 0 15 0 10201592 14316269568 91840 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 165.22
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.82 1.69 1.79 3/211 9172
/proc/meminfo: memFree=31286080/32770624 swapFree=0/185060
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=225.26 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 37484 0 0 0 22505 21 0 0 20 0 15 0 10201582 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 91850 3230 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=222.05 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 11813 0 0 0 22198 7 0 0 20 0 15 0 10201582 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954599287896 139954215498193 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 478 0 0 0 5 2 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 399 0 0 0 4 2 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9078] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9078/stat : 9078 (java) S 9072 9072 5091 0 -1 1077944384 862 0 0 0 5 2 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954193341584 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9079] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9079/stat : 9079 (java) S 9072 9072 5091 0 -1 1077944384 563 0 0 0 6 1 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954192288784 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9080] ppid=9072 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9074/task/9080/stat : 9080 (java) S 9072 9072 5091 0 -1 1077944384 1160 0 0 0 1 0 0 0 20 0 15 0 10201584 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954140735600 139954595060354 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954139681632 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954138629248 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=1.15 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 6881 0 0 0 115 0 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=1.18 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 8624 0 0 0 117 1 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 4838 0 0 0 46 1 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 456 0 0 0 2 2 0 0 20 0 15 0 10201592 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 225.26
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.87 1.71 1.79 3/211 9173
/proc/meminfo: memFree=31250280/32770624 swapFree=0/185084
[pid=9072] ppid=9069 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9072/stat : 9072 (xcsp3-exec) S 9069 9072 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10201572 9740288 345 18446744073709551615 4194304 5098028 140728796100800 140728796098904 140357959615100 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 35254272 140728796107163 140728796107367 140728796107367 140728796110827 0
/proc/9072/statm: 2378 345 289 221 0 87 0
[pid=9074] ppid=9072 vsize=13980732 CPUtime=242.96 cores=1,3,5,7
/proc/9074/stat : 9074 (java) S 9072 9072 5091 0 -1 1077944320 37500 0 0 0 24275 21 0 0 20 0 15 0 10201582 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 140725559533344 139954595049207 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
/proc/9074/statm: 3495183 91850 3230 1 0 3483484 0
[pid=9074/tid=9075] ppid=9072 vsize=13980732 CPUtime=239.75 cores=1,3,5,7
/proc/9074/task/9075/stat : 9075 (java) R 9072 9072 5091 0 -1 4202560 11829 0 0 0 23968 7 0 0 20 0 15 0 10201582 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954599287896 139954215498217 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9076] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9076/stat : 9076 (java) S 9072 9072 5091 0 -1 1077944384 478 0 0 0 5 2 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954195446672 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9077] ppid=9072 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/9074/task/9077/stat : 9077 (java) S 9072 9072 5091 0 -1 1077944384 399 0 0 0 4 2 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954194393872 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9078] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9078/stat : 9078 (java) S 9072 9072 5091 0 -1 1077944384 862 0 0 0 5 2 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954193341584 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9079] ppid=9072 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/9074/task/9079/stat : 9079 (java) S 9072 9072 5091 0 -1 1077944384 563 0 0 0 6 1 0 0 20 0 15 0 10201583 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954192288784 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9080] ppid=9072 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9074/task/9080/stat : 9080 (java) S 9072 9072 5091 0 -1 1077944384 1160 0 0 0 1 0 0 0 20 0 15 0 10201584 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954140735600 139954595060354 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9081] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9081/stat : 9081 (java) S 9072 9072 5091 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954139681632 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9082] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9082/stat : 9082 (java) S 9072 9072 5091 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 10201585 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954138629248 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9083] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9083/stat : 9083 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954137577552 139954595067803 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9084] ppid=9072 vsize=13980732 CPUtime=1.15 cores=1,3,5,7
/proc/9074/task/9084/stat : 9084 (java) S 9072 9072 5091 0 -1 1077944384 6881 0 0 0 115 0 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954136525424 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9085] ppid=9072 vsize=13980732 CPUtime=1.18 cores=1,3,5,7
/proc/9074/task/9085/stat : 9085 (java) S 9072 9072 5091 0 -1 1077944384 8624 0 0 0 117 1 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954135472624 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9086] ppid=9072 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/9074/task/9086/stat : 9086 (java) S 9072 9072 5091 0 -1 1077944384 4838 0 0 0 46 1 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954134420336 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9087] ppid=9072 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9074/task/9087/stat : 9087 (java) S 9072 9072 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10201587 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954133367776 139954595059413 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
[pid=9074/tid=9088] ppid=9072 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9074/task/9088/stat : 9088 (java) S 9072 9072 5091 0 -1 1077944384 456 0 0 0 2 2 0 0 20 0 15 0 10201592 14316269568 91850 18446744073709551615 4194304 4196468 140725559550800 139954132314544 139954595060354 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27463680 140725559558612 140725559558787 140725559558787 140725559562191 0
Current children cumulated CPU time (s) 242.96
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 9074 sig 9
??? kill 9072 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 9072 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1934
# CPU time returned by wait4() is 0.001934
# while last known CPU time is 242.96
#
# 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): 242.96
CPU user time (s): 242.75
CPU system time (s): 0.21
CPU usage (%): 101.229
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001934
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.10018 second user time and 1.28421 second system time
The end