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-4254273-1501612005/watcher-4254273-1501612005 -o /tmp/evaluation-result-4254273-1501612005/solver-4254273-1501612005 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1522279850 HOME/instance-4254273-1501612005.xml
pid=5205
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: 0.16 0.05 0.06 4/186 5211
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5209] ppid=5205 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (runsolver) D 5205 5209 5123 34816 5123 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9817474 24240128 106 18446744073709551615 4194304 4338465 140726021940912 140726021938552 139812506530519 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16277504 140726021947485 140726021947974 140726021947974 140726021951434 0
/proc/5209/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 0.16 0.05 0.06 4/186 5211
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 0.16 0.05 0.06 4/186 5211
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300312 s]
/proc/loadavg: 0.16 0.05 0.06 4/186 5211
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70026 s]
/proc/loadavg: 0.16 0.05 0.06 4/186 5211
/proc/meminfo: memFree=32049972/32770624 swapFree=0/131064
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 34816 5123 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50336 s]
/proc/loadavg: 0.16 0.05 0.06 2/220 5245
/proc/meminfo: memFree=31919196/32770624 swapFree=0/177292
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 14604 0 3 0 156 7 0 0 20 0 15 0 9817482 14316269568 18829 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 18829 3172 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 9322 0 2 0 67 4 0 0 20 0 15 0 9817498 14316269568 18829 18446744073709551615 4194304 4196468 140726099075312 140095754043328 140095344600671 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817500 14316269568 18829 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18829 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5221] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5221/stat : 5221 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18829 18446744073709551615 4194304 4196468 140726099075312 140095667116944 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5222] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5222/stat : 5222 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 18829 18446744073709551615 4194304 4196468 140726099075312 140095666064144 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5227] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9817510 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094935087472 140095749819010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) R 5209 5209 5123 0 -1 4202560 1208 0 0 0 24 0 0 0 20 0 15 0 9817514 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095731352824 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) R 5209 5209 5123 0 -1 4202560 988 0 0 0 25 0 0 0 20 0 15 0 9817514 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094929808696 140095734551393 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 1794 0 0 0 38 0 0 0 20 0 15 0 9817514 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817524 14316269568 18885 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 0.16 0.05 0.06 9/217 5247
/proc/meminfo: memFree=31792280/32770624 swapFree=0/177960
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 37110 0 3 0 602 9 0 0 20 0 15 0 9817482 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 30214 3186 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=2.3 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 9859 0 2 0 226 4 0 0 20 0 15 0 9817498 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140095754043280 140095345875267 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817500 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5221] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5221/stat : 5221 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140095667116944 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5222] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5222/stat : 5222 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140095666064144 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5227] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 5123 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9817510 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094935087472 140095749819010 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 5123 0 -1 1077944384 10628 0 0 0 166 1 0 0 20 0 15 0 9817514 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) S 5209 5209 5123 0 -1 1077944384 12963 0 0 0 166 1 0 0 20 0 15 0 9817514 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094929824496 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 2296 0 0 0 42 1 0 0 20 0 15 0 9817514 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9817524 14316269568 30214 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 0.31 0.08 0.07 3/217 5247
/proc/meminfo: memFree=31748432/32770624 swapFree=0/177976
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=9.91 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 41723 0 3 0 980 11 0 0 20 0 15 0 9817482 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 32443 3192 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=5.51 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 10445 0 2 0 546 5 0 0 20 0 15 0 9817498 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140095754044376 140095346313352 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817500 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5221] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5221/stat : 5221 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140095667116944 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5222] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5222/stat : 5222 (java) S 5209 5209 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140095666064144 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5227] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 5123 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 9817510 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094935087472 140095749819010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=2.05 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 5123 0 -1 1077944384 12172 0 0 0 204 1 0 0 20 0 15 0 9817514 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=1.82 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) S 5209 5209 5123 0 -1 1077944384 13784 0 0 0 181 1 0 0 20 0 15 0 9817514 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094929824496 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 2839 0 0 0 47 1 0 0 20 0 15 0 9817514 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 866 0 0 0 0 0 0 0 20 0 15 0 9817524 14316269568 32443 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 0.45 0.11 0.08 3/216 5247
/proc/meminfo: memFree=31699432/32770624 swapFree=0/177976
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=16.54 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 45747 0 3 0 1643 11 0 0 20 0 15 0 9817482 14316269568 39747 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 39747 3192 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=11.91 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 11562 0 2 0 1186 5 0 0 20 0 15 0 9817498 14316269568 39747 18446744073709551615 4194304 4196468 140726099075312 140095754043632 140095346313350 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817500 14316269568 39747 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9817501 14316269568 39747 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
################
# More data... #
################
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 5123 0 -1 1077944384 18170 0 0 0 249 1 0 0 20 0 15 0 9817514 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) S 5209 5209 5123 0 -1 1077944384 19048 0 0 0 229 2 0 0 20 0 15 0 9817514 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094929824496 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 5521 0 0 0 54 1 0 0 20 0 15 0 9817514 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 15 0 9817524 14316269568 55820 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 106.98
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.89 0.88 0.37 3/212 5251
/proc/meminfo: memFree=31578732/32770624 swapFree=0/178020
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=167.29 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 67996 0 3 0 16713 16 0 0 20 0 15 0 9817482 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 56151 3233 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=161.48 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 14510 0 2 0 16141 7 0 0 20 0 15 0 9817498 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140095754045112 140095346313361 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 1342 0 0 0 1 0 0 0 20 0 15 0 9817500 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 1207 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5221] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5221/stat : 5221 (java) S 5209 5209 5123 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140095667116944 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5222] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5222/stat : 5222 (java) S 5209 5209 5123 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140095666064144 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5227] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 5123 0 -1 1077944384 1062 0 0 0 1 0 0 0 20 0 15 0 9817510 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094935087472 140095749819010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 5123 0 -1 1077944384 19841 0 0 0 265 1 0 0 20 0 15 0 9817514 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=2.39 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) S 5209 5209 5123 0 -1 1077944384 20094 0 0 0 237 2 0 0 20 0 15 0 9817514 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094929824496 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 6208 0 0 0 56 2 0 0 20 0 15 0 9817514 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 1333 0 0 0 1 1 0 0 20 0 15 0 9817524 14316269568 56151 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 167.29
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.82 1.05 0.46 3/212 5253
/proc/meminfo: memFree=31591452/32770624 swapFree=0/178044
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=227.42 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 70178 0 3 0 22725 17 0 0 20 0 15 0 9817482 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 54496 3233 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=221.48 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 14688 0 2 0 22141 7 0 0 20 0 15 0 9817498 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095754046704 140095346313448 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 1430 0 0 0 2 0 0 0 20 0 15 0 9817500 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 1212 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5221] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5221/stat : 5221 (java) S 5209 5209 5123 0 -1 1077944384 604 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095667116944 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5222] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5222/stat : 5222 (java) S 5209 5209 5123 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 9817501 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095666064144 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5227] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 5123 0 -1 1077944384 1225 0 0 0 2 0 0 0 20 0 15 0 9817510 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094935087472 140095749819010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=2.67 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 5123 0 -1 1077944384 20070 0 0 0 266 1 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) S 5209 5209 5123 0 -1 1077944384 21312 0 0 0 246 2 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094929824496 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 6484 0 0 0 56 2 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 1333 0 0 0 2 2 0 0 20 0 15 0 9817524 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 227.42
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.86 1.10 0.49 3/212 5253
/proc/meminfo: memFree=31591452/32770624 swapFree=0/178052
[pid=5209] ppid=5205 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (xcsp3-exec) S 5205 5209 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9817474 9740288 345 18446744073709551615 4194304 5098028 140720571942976 140720571941080 140043337589372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 33452032 140720571945371 140720571945575 140720571945575 140720571949035 0
/proc/5209/statm: 2378 345 289 221 0 87 0
[pid=5216] ppid=5209 vsize=13980732 CPUtime=245.12 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 5123 0 -1 1077944320 70761 0 3 0 24495 17 0 0 20 0 15 0 9817482 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140726099057856 140095749807863 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
/proc/5216/statm: 3495183 54496 3233 1 0 3483484 0
[pid=5216/tid=5218] ppid=5209 vsize=13980732 CPUtime=239.17 cores=1,3,5,7
/proc/5216/task/5218/stat : 5218 (java) R 5209 5209 5123 0 -1 4202560 14897 0 2 0 23910 7 0 0 20 0 15 0 9817498 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095754046816 140095346312871 0 4 1 16800974 0 0 0 -1 1 0 0 49 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5219] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5219/stat : 5219 (java) S 5209 5209 5123 0 -1 1077944384 1454 0 0 0 2 0 0 0 20 0 15 0 9817500 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095669222544 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5220] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5220/stat : 5220 (java) S 5209 5209 5123 0 -1 1077944384 1472 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095668169744 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5221] ppid=5209 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5221/stat : 5221 (java) S 5209 5209 5123 0 -1 1077944384 620 0 0 0 1 0 0 0 20 0 15 0 9817501 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095667116944 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5222] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5222/stat : 5222 (java) S 5209 5209 5123 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 9817501 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140095666064144 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5227] ppid=5209 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 5123 0 -1 1077944384 1252 0 0 0 2 0 0 0 20 0 15 0 9817510 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094935087472 140095749819010 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5229] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094934033440 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5232] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5232/stat : 5232 (java) S 5209 5209 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9817511 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094932980592 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5234] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5234/stat : 5234 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094931928912 140095749826459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5237] ppid=5209 vsize=13980732 CPUtime=2.67 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 5123 0 -1 1077944384 20072 0 0 0 266 1 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094930877296 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5239] ppid=5209 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/5216/task/5239/stat : 5239 (java) S 5209 5209 5123 0 -1 1077944384 21314 0 0 0 246 2 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094929824496 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5240] ppid=5209 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/5216/task/5240/stat : 5240 (java) S 5209 5209 5123 0 -1 1077944384 6486 0 0 0 56 2 0 0 20 0 15 0 9817514 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094928771696 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5242] ppid=5209 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9817515 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094927719136 140095749818069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
[pid=5216/tid=5243] ppid=5209 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 5123 0 -1 1077944384 1335 0 0 0 2 2 0 0 20 0 15 0 9817524 14316269568 54496 18446744073709551615 4194304 4196468 140726099075312 140094926666416 140095749819010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726099083732 140726099083907 140726099083907 140726099087311 0
Current children cumulated CPU time (s) 245.12
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 5216 sig 9
??? kill 5209 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 5209 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=768
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1536
# CPU time returned by wait4() is 0.002304
# while last known CPU time is 245.12
#
# 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): 245.12
CPU user time (s): 244.95
CPU system time (s): 0.17
CPU usage (%): 102.129
Max. virtual memory (cumulated for all children) (KiB): 13992024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000768
system time used= 0.001536
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= 11
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.942122 second user time and 1.40157 second system time
The end