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-4254003-1501617493/watcher-4254003-1501617493 -o /tmp/evaluation-result-4254003-1501617493/solver-4254003-1501617493 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1038990609 HOME/instance-4254003-1501617493.xml
pid=10355
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: 2.16 2.01 1.96 3/200 10358
/proc/meminfo: memFree=31274860/32770624 swapFree=0/185864
[pid=10358] ppid=10355 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (runsolver) D 10355 10358 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9564594 24240128 108 18446744073709551615 4194304 4338465 140730956554224 140730956551864 139778505118423 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39358464 140730956562525 140730956563014 140730956563014 140730956566474 0
/proc/10358/statm: 5918 108 54 36 0 2156 0
[startup+0.100125 s]
/proc/loadavg: 2.16 2.01 1.96 3/200 10358
/proc/meminfo: memFree=31274860/32770624 swapFree=0/185864
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200222 s]
/proc/loadavg: 2.16 2.01 1.96 3/200 10358
/proc/meminfo: memFree=31274860/32770624 swapFree=0/185864
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300294 s]
/proc/loadavg: 2.16 2.01 1.96 3/200 10358
/proc/meminfo: memFree=31274860/32770624 swapFree=0/185864
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700179 s]
/proc/loadavg: 2.16 2.01 1.96 3/200 10358
/proc/meminfo: memFree=31274860/32770624 swapFree=0/185864
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 2.16 2.01 1.96 5/216 10374
/proc/meminfo: memFree=31135616/32770624 swapFree=0/185892
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=3.68 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 23097 0 0 0 361 7 0 0 20 0 15 0 9564603 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 39671 3173 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 9154 0 0 0 130 5 0 0 20 0 15 0 9564603 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139685075029552 139684705700523 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564603 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10364] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10364/stat : 10364 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139685025651600 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10365] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10365/stat : 10365 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139685024598800 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10366] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10366/stat : 10366 (java) S 10358 10358 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684549220720 139685070801538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 4598 0 0 0 92 0 0 0 20 0 15 0 9564608 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 5517 0 0 0 92 0 0 0 20 0 15 0 9564608 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 2517 0 0 0 44 1 0 0 20 0 15 0 9564608 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9564613 14316269568 39671 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13990244
[startup+3.10061 s]
/proc/loadavg: 2.16 2.01 1.96 3/216 10374
/proc/meminfo: memFree=31128672/32770624 swapFree=0/185892
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=5.41 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 23451 0 0 0 533 8 0 0 20 0 15 0 9564603 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 39705 3173 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 9238 0 0 0 290 5 0 0 20 0 15 0 9564603 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139685075026048 139684705969770 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564603 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10364] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10364/stat : 10364 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139685025651600 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10365] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10365/stat : 10365 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139685024598800 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10366] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10366/stat : 10366 (java) S 10358 10358 5228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684549220720 139685070801538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 4618 0 0 0 97 0 0 0 20 0 15 0 9564608 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 5664 0 0 0 98 0 0 0 20 0 15 0 9564608 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 2578 0 0 0 45 1 0 0 20 0 15 0 9564608 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9564613 14316269568 39705 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 2.15 2.01 1.96 3/216 10374
/proc/meminfo: memFree=31116836/32770624 swapFree=0/185904
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=9.41 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 37194 0 0 0 931 10 0 0 20 0 15 0 9564603 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 42123 3180 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 10713 0 0 0 610 5 0 0 20 0 15 0 9564603 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139685075026584 139684705700384 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564603 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10364] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10364/stat : 10364 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139685025651600 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10365] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10365/stat : 10365 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139685024598800 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10366] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10366/stat : 10366 (java) S 10358 10358 5228 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684549220720 139685070801538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 10964 0 0 0 136 1 0 0 20 0 15 0 9564608 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 10835 0 0 0 136 1 0 0 20 0 15 0 9564608 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 3096 0 0 0 48 1 0 0 20 0 15 0 9564608 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9564613 14316269568 42123 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.14 2.01 1.96 3/216 10374
/proc/meminfo: memFree=31116712/32770624 swapFree=0/185912
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=15.85 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 39997 0 0 0 1575 10 0 0 20 0 15 0 9564603 14316269568 42175 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 42175 3180 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 11523 0 0 0 1250 5 0 0 20 0 15 0 9564603 14316269568 42175 18446744073709551615 4194304 4196468 140733270698576 139685075029544 139684705700405 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564603 14316269568 42175 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 42175 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
################
# More data... #
################
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 15397 0 0 0 160 1 0 0 20 0 15 0 9564608 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 17031 0 0 0 163 1 0 0 20 0 15 0 9564608 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 4154 0 0 0 49 1 0 0 20 0 15 0 9564608 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 457 0 0 0 0 1 0 0 20 0 15 0 9564613 14316269568 41925 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 105.98
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.06 2.03 1.97 3/214 10455
/proc/meminfo: memFree=30735940/32770624 swapFree=0/186044
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=166.26 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 58573 0 0 0 16613 13 0 0 20 0 15 0 9564603 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 43507 3187 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=162.16 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 14371 0 0 0 16211 5 0 0 20 0 15 0 9564603 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139685075027736 139684705700384 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564603 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10364] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10364/stat : 10364 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139685025651600 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10365] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10365/stat : 10365 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139685024598800 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10366] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10366/stat : 10366 (java) S 10358 10358 5228 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684549220720 139685070801538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 16882 0 0 0 168 2 0 0 20 0 15 0 9564608 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=1.82 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 20008 0 0 0 180 2 0 0 20 0 15 0 9564608 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 5061 0 0 0 50 1 0 0 20 0 15 0 9564608 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 500 0 0 0 1 2 0 0 20 0 15 0 9564613 14316269568 43507 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 166.26
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.98 2.01 1.97 3/215 10458
/proc/meminfo: memFree=29283116/32770624 swapFree=0/186080
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=226.58 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 63777 0 0 0 22644 14 0 0 20 0 15 0 9564603 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 48041 3187 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=222.17 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 14975 0 0 0 22211 6 0 0 20 0 15 0 9564603 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139685075027416 139684705700683 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564603 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10364] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10364/stat : 10364 (java) S 10358 10358 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139685025651600 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10365] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10365/stat : 10365 (java) S 10358 10358 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9564604 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139685024598800 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10366] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10366/stat : 10366 (java) S 10358 10358 5228 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684549220720 139685070801538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=1.84 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 19655 0 0 0 182 2 0 0 20 0 15 0 9564608 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 21474 0 0 0 194 2 0 0 20 0 15 0 9564608 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 5374 0 0 0 52 1 0 0 20 0 15 0 9564608 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 541 0 0 0 1 2 0 0 20 0 15 0 9564613 14316269568 48041 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 226.58
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 2.01 1.97 3/215 10460
/proc/meminfo: memFree=29136788/32770624 swapFree=0/186104
[pid=10358] ppid=10355 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10358/stat : 10358 (xcsp3-exec) S 10355 10358 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9564594 9740288 345 18446744073709551615 4194304 5098028 140720555332256 140720555330360 140277296964220 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 24244224 140720555336091 140720555336295 140720555336295 140720555339755 0
/proc/10358/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10358 vsize=13980732 CPUtime=244.47 cores=1,3,5,7
/proc/10360/stat : 10360 (java) S 10358 10358 5228 0 -1 1077944320 66252 0 0 0 24421 26 0 0 20 0 15 0 9564603 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 140733270681120 139685070790391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
/proc/10360/statm: 3495183 71075 3204 1 0 3483484 0
[pid=10360/tid=10361] ppid=10358 vsize=13980732 CPUtime=239.81 cores=1,3,5,7
/proc/10360/task/10361/stat : 10361 (java) R 10358 10358 5228 0 -1 4202560 14995 0 0 0 23975 6 0 0 20 0 15 0 9564603 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139685075030072 139684705700454 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10362] ppid=10358 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10360/task/10362/stat : 10362 (java) S 10358 10358 5228 0 -1 1077944384 713 0 0 0 2 2 0 0 20 0 15 0 9564603 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139685027757200 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10363] ppid=10358 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10360/task/10363/stat : 10363 (java) S 10358 10358 5228 0 -1 1077944384 125 0 0 0 2 2 0 0 20 0 15 0 9564604 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139685026704400 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10364] ppid=10358 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10360/task/10364/stat : 10364 (java) S 10358 10358 5228 0 -1 1077944384 97 0 0 0 2 2 0 0 20 0 15 0 9564604 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139685025651600 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10365] ppid=10358 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10360/task/10365/stat : 10365 (java) S 10358 10358 5228 0 -1 1077944384 408 0 0 0 2 2 0 0 20 0 15 0 9564604 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139685024598800 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10366] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10366/stat : 10366 (java) S 10358 10358 5228 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684549220720 139685070801538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10367] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10367/stat : 10367 (java) S 10358 10358 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684548166688 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10368] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10368/stat : 10368 (java) S 10358 10358 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9564605 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684547113840 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10369] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10369/stat : 10369 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684546062160 139685070808987 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10370] ppid=10358 vsize=13980732 CPUtime=1.84 cores=1,3,5,7
/proc/10360/task/10370/stat : 10370 (java) S 10358 10358 5228 0 -1 1077944384 19656 0 0 0 182 2 0 0 20 0 15 0 9564608 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684545010544 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10371] ppid=10358 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/10360/task/10371/stat : 10371 (java) S 10358 10358 5228 0 -1 1077944384 21633 0 0 0 197 2 0 0 20 0 15 0 9564608 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684543957744 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10372] ppid=10358 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/10360/task/10372/stat : 10372 (java) S 10358 10358 5228 0 -1 1077944384 6073 0 0 0 52 1 0 0 20 0 15 0 9564608 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684542904944 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10373] ppid=10358 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10360/task/10373/stat : 10373 (java) S 10358 10358 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9564608 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684541852384 139685070800597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
[pid=10360/tid=10374] ppid=10358 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10360/task/10374/stat : 10374 (java) S 10358 10358 5228 0 -1 1077944384 541 0 0 0 1 3 0 0 20 0 15 0 9564613 14316269568 71075 18446744073709551615 4194304 4196468 140733270698576 139684540799664 139685070801538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140733270704596 140733270704771 140733270704771 140733270708175 0
Current children cumulated CPU time (s) 244.47
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 10360 sig 9
??? kill 10358 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 10358 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=948
# CPU time returned by wait4() is 0.001896
# while last known CPU time is 244.47
#
# 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): 244.47
CPU user time (s): 244.21
CPU system time (s): 0.26
CPU usage (%): 101.858
Max. virtual memory (cumulated for all children) (KiB): 13992080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000948
system time used= 0.000948
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03315 second user time and 1.32324 second system time
The end