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-4254981-1501619944/watcher-4254981-1501619944 -o /tmp/evaluation-result-4254981-1501619944/solver-4254981-1501619944 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 593598744 HOME/instance-4254981-1501619944.xml
pid=21167
running on 4 cores: 0,2,4,6
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.73 1.78 1.86 3/200 21170
/proc/meminfo: memFree=29409260/32770624 swapFree=0/289104
[pid=21170] ppid=21167 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (runsolver) D 21167 21170 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9500155 24240128 108 18446744073709551615 4194304 4338465 140730011099408 140730011097048 139942599471831 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 17604608 140730011103325 140730011103814 140730011103814 140730011107274 0
/proc/21170/statm: 5918 108 54 36 0 2156 0
[startup+0.100163 s]
/proc/loadavg: 1.73 1.78 1.86 3/200 21170
/proc/meminfo: memFree=29409260/32770624 swapFree=0/289104
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20138 s]
/proc/loadavg: 1.73 1.78 1.86 3/200 21170
/proc/meminfo: memFree=29409260/32770624 swapFree=0/289104
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300324 s]
/proc/loadavg: 1.73 1.78 1.86 3/200 21170
/proc/meminfo: memFree=29409260/32770624 swapFree=0/289104
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70186 s]
/proc/loadavg: 1.73 1.78 1.86 3/200 21170
/proc/meminfo: memFree=29409260/32770624 swapFree=0/289104
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/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.73 1.78 1.86 5/216 21186
/proc/meminfo: memFree=29319088/32770624 swapFree=0/289132
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=3.72 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 27125 0 0 0 365 7 0 0 20 0 15 0 9500164 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 31596 3185 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 8887 0 0 0 133 4 0 0 20 0 15 0 9500165 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355851268352 140355457254734 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21176] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21176/stat : 21176 (java) S 21170 21170 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355779361168 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21177] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21177/stat : 21177 (java) S 21170 21170 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355778308368 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21178] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21178/stat : 21178 (java) S 21170 21170 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355190606704 140355847043714 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355189552672 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355188499824 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) R 21170 21170 5234 0 -1 4202560 8723 0 0 0 90 1 0 0 20 0 15 0 9500170 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355186388528 140355828554027 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) R 21170 21170 5234 0 -1 4202560 5239 0 0 0 90 0 0 0 20 0 15 0 9500170 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355185333536 140355826749703 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) R 21170 21170 5234 0 -1 1077944384 2957 0 0 0 50 0 0 0 20 0 15 0 9500170 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500173 14316269568 31596 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13990244
[startup+3.10158 s]
/proc/loadavg: 1.73 1.78 1.86 3/216 21186
/proc/meminfo: memFree=29242612/32770624 swapFree=0/289132
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=6.78 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 31192 0 0 0 668 10 0 0 20 0 15 0 9500164 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 54581 3211 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 9404 0 0 0 290 5 0 0 20 0 15 0 9500165 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355851270760 140355460364006 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21176] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21176/stat : 21176 (java) S 21170 21170 5234 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355779361168 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21177] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21177/stat : 21177 (java) S 21170 21170 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9500165 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355778308368 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21178] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21178/stat : 21178 (java) S 21170 21170 5234 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355190606704 140355847043714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355189552672 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355188499824 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=1.59 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) R 21170 21170 5234 0 -1 4202560 9630 0 0 0 158 1 0 0 20 0 15 0 9500170 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355186395424 140355830564046 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) R 21170 21170 5234 0 -1 4202560 5643 0 0 0 156 0 0 0 20 0 15 0 9500170 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355185342704 140355824627360 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) S 21170 21170 5234 0 -1 1077944384 4008 0 0 0 58 0 0 0 20 0 15 0 9500170 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 9500173 14316269568 54581 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 13990244
[startup+6.30076 s]
/proc/loadavg: 1.75 1.78 1.86 3/216 21186
/proc/meminfo: memFree=29181176/32770624 swapFree=0/289136
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=10.51 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 31729 0 0 0 1037 14 0 0 20 0 15 0 9500164 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 62038 3217 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 9436 0 0 0 606 5 0 0 20 0 15 0 9500165 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355851271856 140355461288939 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 542 0 0 0 3 1 0 0 20 0 15 0 9500165 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 90 0 0 0 3 1 0 0 20 0 15 0 9500165 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21176] ppid=21170 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21172/task/21176/stat : 21176 (java) S 21170 21170 5234 0 -1 1077944384 310 0 0 0 3 1 0 0 20 0 15 0 9500165 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355779361168 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21177] ppid=21170 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21172/task/21177/stat : 21177 (java) S 21170 21170 5234 0 -1 1077944384 107 0 0 0 3 1 0 0 20 0 15 0 9500165 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355778308368 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21178] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21178/stat : 21178 (java) S 21170 21170 5234 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355190606704 140355847043714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355189552672 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355188499824 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) S 21170 21170 5234 0 -1 1077944384 9682 0 0 0 181 1 0 0 20 0 15 0 9500170 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355186395504 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) S 21170 21170 5234 0 -1 1077944384 5840 0 0 0 173 1 0 0 20 0 15 0 9500170 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355185342704 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) S 21170 21170 5234 0 -1 1077944384 4066 0 0 0 61 0 0 0 20 0 15 0 9500170 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9500173 14316269568 62038 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.77 1.79 1.86 3/215 21186
/proc/meminfo: memFree=29126740/32770624 swapFree=0/289148
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=17.62 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 39313 0 0 0 1742 20 0 0 20 0 15 0 9500164 14316269568 77614 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 77614 3222 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=12.44 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 11027 0 0 0 1238 6 0 0 20 0 15 0 9500165 14316269568 77614 18446744073709551615 4194304 4196468 140727213935264 140355851271464 140355459659224 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 630 0 0 0 8 2 0 0 20 0 15 0 9500165 14316269568 77614 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 171 0 0 0 8 2 0 0 20 0 15 0 9500165 14316269568 77614 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
################
# More data... #
################
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355189552736 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355188499840 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=2.57 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) S 21170 21170 5234 0 -1 1077944384 17968 0 0 0 255 2 0 0 20 0 15 0 9500170 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355186395504 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=2.25 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) S 21170 21170 5234 0 -1 1077944384 11418 0 0 0 224 1 0 0 20 0 15 0 9500170 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355185342704 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) S 21170 21170 5234 0 -1 1077944384 8319 0 0 0 72 1 0 0 20 0 15 0 9500170 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 158 0 0 0 1 3 0 0 20 0 15 0 9500173 14316269568 121656 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 108.83
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.74 1.79 1.85 3/214 21190
/proc/meminfo: memFree=29038424/32770624 swapFree=0/289232
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=169.37 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 69302 0 0 0 16875 62 0 0 20 0 15 0 9500164 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 91519 3229 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=161.57 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 19177 0 0 0 16147 10 0 0 20 0 15 0 9500165 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355851269496 140355460363562 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 1555 0 0 0 37 10 0 0 20 0 15 0 9500165 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 630 0 0 0 38 9 0 0 20 0 15 0 9500165 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21176] ppid=21170 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/21172/task/21176/stat : 21176 (java) S 21170 21170 5234 0 -1 1077944384 1309 0 0 0 37 10 0 0 20 0 15 0 9500165 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355779361168 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21177] ppid=21170 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/21172/task/21177/stat : 21177 (java) S 21170 21170 5234 0 -1 1077944384 1274 0 0 0 37 10 0 0 20 0 15 0 9500165 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355778308368 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21178] ppid=21170 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21172/task/21178/stat : 21178 (java) S 21170 21170 5234 0 -1 1077944384 1491 0 0 0 5 2 0 0 20 0 15 0 9500167 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355190606704 140355847043714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355189552736 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355188499840 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=2.63 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) S 21170 21170 5234 0 -1 1077944384 19043 0 0 0 261 2 0 0 20 0 15 0 9500170 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355186395504 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) S 21170 21170 5234 0 -1 1077944384 12546 0 0 0 230 1 0 0 20 0 15 0 9500170 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355185342704 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) S 21170 21170 5234 0 -1 1077944384 10683 0 0 0 74 1 0 0 20 0 15 0 9500170 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 195 0 0 0 3 4 0 0 20 0 15 0 9500173 14316269568 91519 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 169.37
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.72 1.77 1.84 3/216 21273
/proc/meminfo: memFree=30759344/32770624 swapFree=0/289324
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=230.67 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 78115 0 0 0 22985 82 0 0 20 0 15 0 9500164 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 123712 3229 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=221.07 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 21604 0 0 0 22096 11 0 0 20 0 15 0 9500165 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355851271616 140355460355812 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 2037 0 0 0 71 15 0 0 20 0 15 0 9500165 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 1227 0 0 0 72 14 0 0 20 0 15 0 9500165 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21176] ppid=21170 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/21172/task/21176/stat : 21176 (java) S 21170 21170 5234 0 -1 1077944384 1979 0 0 0 71 15 0 0 20 0 15 0 9500165 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355779361168 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21177] ppid=21170 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/21172/task/21177/stat : 21177 (java) S 21170 21170 5234 0 -1 1077944384 2267 0 0 0 70 14 0 0 20 0 15 0 9500165 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355778308368 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21178] ppid=21170 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/21172/task/21178/stat : 21178 (java) S 21170 21170 5234 0 -1 1077944384 1784 0 0 0 11 2 0 0 20 0 15 0 9500167 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355190606704 140355847043714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355189552736 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355188499840 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=2.73 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) S 21170 21170 5234 0 -1 1077944384 21129 0 0 0 271 2 0 0 20 0 15 0 9500170 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355186395504 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=2.37 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) S 21170 21170 5234 0 -1 1077944384 13275 0 0 0 236 1 0 0 20 0 15 0 9500170 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355185342704 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) S 21170 21170 5234 0 -1 1077944384 11158 0 0 0 76 1 0 0 20 0 15 0 9500170 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 256 0 0 0 4 6 0 0 20 0 15 0 9500173 14316269568 123712 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 230.67
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.80 1.78 1.84 3/216 21273
/proc/meminfo: memFree=30464856/32770624 swapFree=0/289340
[pid=21170] ppid=21167 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21170/stat : 21170 (xcsp3-exec) S 21167 21170 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9500155 9740288 345 18446744073709551615 4194304 5098028 140727407777472 140727407775576 140684953543292 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9895936 140727407784348 140727407784551 140727407784551 140727407788011 0
/proc/21170/statm: 2378 345 289 221 0 87 0
[pid=21172] ppid=21170 vsize=13980732 CPUtime=251.25 cores=0,2,4,6
/proc/21172/stat : 21172 (java) S 21170 21170 5234 0 -1 1077944320 88889 0 0 0 25036 89 0 0 20 0 15 0 9500164 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140727213917808 140355847032567 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
/proc/21172/statm: 3495183 145658 3250 1 0 3483484 0
[pid=21172/tid=21173] ppid=21170 vsize=13980732 CPUtime=237.69 cores=0,2,4,6
/proc/21172/task/21173/stat : 21173 (java) R 21170 21170 5234 0 -1 4202560 22581 0 0 0 23757 12 0 0 20 0 15 0 9500165 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355851271888 140355455507552 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21174] ppid=21170 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/21172/task/21174/stat : 21174 (java) S 21170 21170 5234 0 -1 1077944384 2536 0 0 0 151 16 0 0 20 0 15 0 9500165 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355781466768 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21175] ppid=21170 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/21172/task/21175/stat : 21175 (java) S 21170 21170 5234 0 -1 1077944384 1636 0 0 0 150 15 0 0 20 0 15 0 9500165 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355780413968 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21176] ppid=21170 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/21172/task/21176/stat : 21176 (java) S 21170 21170 5234 0 -1 1077944384 2210 0 0 0 151 16 0 0 20 0 15 0 9500165 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355779361168 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21177] ppid=21170 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/21172/task/21177/stat : 21177 (java) S 21170 21170 5234 0 -1 1077944384 3029 0 0 0 151 15 0 0 20 0 15 0 9500165 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355778308368 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21178] ppid=21170 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/21172/task/21178/stat : 21178 (java) S 21170 21170 5234 0 -1 1077944384 3348 0 0 0 37 2 0 0 20 0 15 0 9500167 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355190606704 140355847043714 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21179] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21179/stat : 21179 (java) S 21170 21170 5234 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355189552736 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21180] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21180/stat : 21180 (java) S 21170 21170 5234 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9500167 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355188499840 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21181] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21181/stat : 21181 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355187448144 140355847051163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21182] ppid=21170 vsize=13980732 CPUtime=3.17 cores=0,2,4,6
/proc/21172/task/21182/stat : 21182 (java) S 21170 21170 5234 0 -1 1077944384 27333 0 0 0 314 3 0 0 20 0 15 0 9500170 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355186395504 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21183] ppid=21170 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/21172/task/21183/stat : 21183 (java) S 21170 21170 5234 0 -1 1077944384 13373 0 0 0 238 1 0 0 20 0 15 0 9500170 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355185342704 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21184] ppid=21170 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/21172/task/21184/stat : 21184 (java) S 21170 21170 5234 0 -1 1077944384 11188 0 0 0 76 1 0 0 20 0 15 0 9500170 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355184289904 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21185] ppid=21170 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21172/task/21185/stat : 21185 (java) S 21170 21170 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9500170 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355183237344 140355847042773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
[pid=21172/tid=21186] ppid=21170 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/21172/task/21186/stat : 21186 (java) S 21170 21170 5234 0 -1 1077944384 256 0 0 0 5 6 0 0 20 0 15 0 9500173 14316269568 145658 18446744073709551615 4194304 4196468 140727213935264 140355182185648 140355847043714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11026432 140727213937108 140727213937283 140727213937283 140727213940687 0
Current children cumulated CPU time (s) 251.25
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 21172 sig 9
??? kill 21170 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 21170 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1860
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118
# CPU time returned by wait4() is 0.001978
# while last known CPU time is 251.25
#
# 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): 251.25
CPU user time (s): 250.36
CPU system time (s): 0.89
CPU usage (%): 104.683
Max. virtual memory (cumulated for all children) (KiB): 13992348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00186
system time used= 0.000118
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.00451 second user time and 1.61848 second system time
The end