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-4244908-1500685010/watcher-4244908-1500685010 -o /tmp/evaluation-result-4244908-1500685010/solver-4244908-1500685010 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1011147965 HOME/instance-4244908-1500685010.xml
pid=21508
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 16.01 15.61 14.09 10/270 21511
/proc/meminfo: memFree=31894936/32770624 swapFree=5808/49432
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 16.01 15.61 14.09 10/270 21511
/proc/meminfo: memFree=31894936/32770624 swapFree=5808/49432
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200332 s]
/proc/loadavg: 16.01 15.61 14.09 10/270 21511
/proc/meminfo: memFree=31894936/32770624 swapFree=5808/49432
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300217 s]
/proc/loadavg: 16.01 15.61 14.09 10/270 21511
/proc/meminfo: memFree=31894936/32770624 swapFree=5808/49432
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700166 s]
/proc/loadavg: 16.01 15.61 14.09 10/270 21511
/proc/meminfo: memFree=31894936/32770624 swapFree=5808/49432
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50105 s]
/proc/loadavg: 16.01 15.61 14.09 21/299 21580
/proc/meminfo: memFree=31692800/32770624 swapFree=5808/49460
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
[pid=21512] ppid=21511 vsize=13868332 CPUtime=7.02 cores=0,2,4,6,8,10,12,14
/proc/21512/stat : 21512 (java) S 21511 21511 15196 0 -1 1077944320 20844 0 0 0 690 12 0 0 20 0 28 0 3766073 14201171968 50877 33554432000 4194304 4196468 140733857067200 140733857049744 139887316270839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
/proc/21512/statm: 3467083 50877 3254 1 0 3454316 0
[pid=21512/tid=21513] ppid=21511 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21513/stat : 21513 (java) S 21511 21511 15196 0 -1 1077944384 6534 0 0 0 86 3 0 0 20 0 28 0 3766074 14201171968 50877 33554432000 4194304 4196468 140733857067200 139887320511616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21515] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21515/stat : 21515 (java) S 21511 21511 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139887288114320 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21516] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21516/stat : 21516 (java) S 21511 21511 15196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886914022416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21517] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21517/stat : 21517 (java) S 21511 21511 15196 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886912969616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21518] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21518/stat : 21518 (java) S 21511 21511 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886911916816 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21519] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21519/stat : 21519 (java) S 21511 21511 15196 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886910864016 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21520] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21520/stat : 21520 (java) S 21511 21511 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886909811216 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21521] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21521/stat : 21521 (java) S 21511 21511 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886908758416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21522] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21522/stat : 21522 (java) S 21511 21511 15196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 50877 33554432000 4194304 4196468 140733857067200 139886907705616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21523] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21523/stat : 21523 (java) S 21511 21511 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3766076 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885980965744 139887316281986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21524] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21524/stat : 21524 (java) S 21511 21511 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885979911712 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21525] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21525/stat : 21525 (java) S 21511 21511 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885978858864 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21526] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21526/stat : 21526 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766079 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885977807184 139887316289435 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21527] ppid=21511 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21527/stat : 21527 (java) R 21511 21511 15196 0 -1 4202560 2639 0 0 0 85 1 0 0 20 0 28 0 3766079 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885976740424 139887301874785 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21528] ppid=21511 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21528/stat : 21528 (java) R 21511 21511 15196 0 -1 4202560 2142 0 0 0 84 0 0 0 20 0 28 0 3766079 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885975683760 139887293865584 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21529] ppid=21511 vsize=13868332 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21529/stat : 21529 (java) R 21511 21511 15196 0 -1 4202560 3079 0 0 0 86 1 0 0 20 0 28 0 3766079 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885974634968 139887297815279 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21530] ppid=21511 vsize=13868332 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21530/stat : 21530 (java) R 21511 21511 15196 0 -1 4202560 3551 0 0 0 78 1 0 0 20 0 28 0 3766080 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885973596144 139887295591124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21531] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21531/stat : 21531 (java) S 21511 21511 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3766080 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885972544608 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21532] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21532/stat : 21532 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766080 14201171968 50877 33554432000 4194304 4196468 140733857067200 139885971491888 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 13877844
[startup+3.10124 s]
/proc/loadavg: 16.25 15.67 14.12 20/299 21604
/proc/meminfo: memFree=31604476/32770624 swapFree=5808/49460
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
[pid=21512] ppid=21511 vsize=13868332 CPUtime=19.61 cores=0,2,4,6,8,10,12,14
/proc/21512/stat : 21512 (java) S 21511 21511 15196 0 -1 1077944320 21952 0 0 0 1946 15 0 0 20 0 28 0 3766073 14201171968 57307 33554432000 4194304 4196468 140733857067200 140733857049744 139887316270839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
/proc/21512/statm: 3467083 57307 3266 1 0 3454316 0
[pid=21512/tid=21513] ppid=21511 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21513/stat : 21513 (java) S 21511 21511 15196 0 -1 1077944384 6535 0 0 0 86 3 0 0 20 0 28 0 3766074 14201171968 57307 33554432000 4194304 4196468 140733857067200 139887320511616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21515] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21515/stat : 21515 (java) S 21511 21511 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139887288114320 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21516] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21516/stat : 21516 (java) S 21511 21511 15196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886914022416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21517] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21517/stat : 21517 (java) S 21511 21511 15196 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886912969616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21518] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21518/stat : 21518 (java) S 21511 21511 15196 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886911916816 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21519] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21519/stat : 21519 (java) S 21511 21511 15196 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886910864016 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21520] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21520/stat : 21520 (java) S 21511 21511 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886909811216 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21521] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21521/stat : 21521 (java) S 21511 21511 15196 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886908758416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21522] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21522/stat : 21522 (java) S 21511 21511 15196 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 3766075 14201171968 57307 33554432000 4194304 4196468 140733857067200 139886907705616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21523] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21523/stat : 21523 (java) S 21511 21511 15196 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 3766076 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885980965744 139887316281986 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21524] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21524/stat : 21524 (java) S 21511 21511 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885979911776 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21525] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21525/stat : 21525 (java) S 21511 21511 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885978858864 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21526] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21526/stat : 21526 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766079 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885977807184 139887316289435 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21527] ppid=21511 vsize=13868332 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21527/stat : 21527 (java) R 21511 21511 15196 0 -1 4202560 3070 0 0 0 195 1 0 0 20 0 28 0 3766079 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885976754544 139887302294568 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21528] ppid=21511 vsize=13868332 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21528/stat : 21528 (java) S 21511 21511 15196 0 -1 1077944384 2243 0 0 0 156 0 0 0 20 0 28 0 3766079 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885975701744 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21529] ppid=21511 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21529/stat : 21529 (java) S 21511 21511 15196 0 -1 1077944384 3212 0 0 0 168 1 0 0 20 0 28 0 3766079 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885974648944 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21530] ppid=21511 vsize=13868332 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21530/stat : 21530 (java) S 21511 21511 15196 0 -1 1077944384 3658 0 0 0 90 1 0 0 20 0 28 0 3766080 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885973596144 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21531] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21531/stat : 21531 (java) S 21511 21511 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3766080 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885972544608 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21532] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21532/stat : 21532 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766080 14201171968 57307 33554432000 4194304 4196468 140733857067200 139885971491888 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (KiB) 13877844
[startup+6.30148 s]
/proc/loadavg: 16.25 15.67 14.12 17/299 21620
/proc/meminfo: memFree=31405944/32770624 swapFree=5808/49468
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
[pid=21512] ppid=21511 vsize=13868332 CPUtime=45 cores=0,2,4,6,8,10,12,14
/proc/21512/stat : 21512 (java) S 21511 21511 15196 0 -1 1077944320 27887 0 0 0 4477 23 0 0 20 0 28 0 3766073 14201171968 88964 33554432000 4194304 4196468 140733857067200 140733857049744 139887316270839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
/proc/21512/statm: 3467083 88964 3271 1 0 3454316 0
[pid=21512/tid=21513] ppid=21511 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21513/stat : 21513 (java) S 21511 21511 15196 0 -1 1077944384 6536 0 0 0 86 3 0 0 20 0 28 0 3766074 14201171968 88964 33554432000 4194304 4196468 140733857067200 139887320511616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21515] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21515/stat : 21515 (java) S 21511 21511 15196 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139887288114320 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21516] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21516/stat : 21516 (java) S 21511 21511 15196 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886914022416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21517] ppid=21511 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21517/stat : 21517 (java) S 21511 21511 15196 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886912969616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21518] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21518/stat : 21518 (java) S 21511 21511 15196 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886911916816 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21519] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21519/stat : 21519 (java) S 21511 21511 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886910864016 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21520] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21520/stat : 21520 (java) S 21511 21511 15196 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886909811216 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21521] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21521/stat : 21521 (java) S 21511 21511 15196 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886908758416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21522] ppid=21511 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21522/stat : 21522 (java) S 21511 21511 15196 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 28 0 3766075 14201171968 88964 33554432000 4194304 4196468 140733857067200 139886907705616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21523] ppid=21511 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21523/stat : 21523 (java) S 21511 21511 15196 0 -1 1077944384 159 0 0 0 2 1 0 0 20 0 28 0 3766076 14201171968 88964 33554432000 4194304 4196468 140733857067200 139885980965744 139887316281986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21524] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21524/stat : 21524 (java) S 21511 21511 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 88964 33554432000 4194304 4196468 140733857067200 139885979911776 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21525] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21525/stat : 21525 (java) S 21511 21511 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 88964 33554432000 4194304 4196468 140733857067200 139885978858864 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21526] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21526/stat : 21526 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766079 14201171968 88964 33554432000 4194304 4196468 140733857067200 139885977807184 139887316289435 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
################
# More data... #
################
[pid=21512/tid=21644] ppid=21511 vsize=13868332 CPUtime=217.89 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21644/stat : 21644 (java) R 21511 21511 15196 0 -1 4202560 4838 0 0 0 21777 12 0 0 20 0 28 0 3772219 14201171968 702580 33554432000 4194304 4196468 140733857067200 139885955055816 139886952543264 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21645] ppid=21511 vsize=13868332 CPUtime=217.43 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21645/stat : 21645 (java) R 21511 21511 15196 0 -1 4202560 2116 0 0 0 21738 5 0 0 20 0 28 0 3772219 14201171968 702580 33554432000 4194304 4196468 140733857067200 139885963477816 139886959608963 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
Current children cumulated CPU time (s) 2233.79
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.301 s]
/proc/loadavg: 15.61 15.77 14.61 17/301 21781
/proc/meminfo: memFree=28856224/32770624 swapFree=5808/49848
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
[pid=21512] ppid=21511 vsize=13868332 CPUtime=2400.71 cores=0,2,4,6,8,10,12,14
/proc/21512/stat : 21512 (java) S 21511 21511 15196 0 -1 1077944320 133066 0 0 0 239637 434 0 0 20 0 28 0 3766073 14201171968 709780 33554432000 4194304 4196468 140733857067200 140733857049744 139887316270839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
/proc/21512/statm: 3467083 709780 3295 1 0 3454316 0
[pid=21512/tid=21513] ppid=21511 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21513/stat : 21513 (java) S 21511 21511 15196 0 -1 1077944384 6992 0 0 0 86 3 0 0 20 0 28 0 3766074 14201171968 709780 33554432000 4194304 4196468 140733857067200 139887320511616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21515] ppid=21511 vsize=13868332 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21515/stat : 21515 (java) S 21511 21511 15196 0 -1 1077944384 2371 0 0 0 131 37 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139887288114320 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21516] ppid=21511 vsize=13868332 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21516/stat : 21516 (java) S 21511 21511 15196 0 -1 1077944384 2853 0 0 0 129 37 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886914022416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21517] ppid=21511 vsize=13868332 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21517/stat : 21517 (java) S 21511 21511 15196 0 -1 1077944384 3243 0 0 0 126 38 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886912969616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21518] ppid=21511 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21518/stat : 21518 (java) S 21511 21511 15196 0 -1 1077944384 3602 0 0 0 129 41 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886911916816 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21519] ppid=21511 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21519/stat : 21519 (java) S 21511 21511 15196 0 -1 1077944384 3057 0 0 0 131 38 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886910864016 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21520] ppid=21511 vsize=13868332 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21520/stat : 21520 (java) S 21511 21511 15196 0 -1 1077944384 2285 0 0 0 123 35 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886909811216 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21521] ppid=21511 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21521/stat : 21521 (java) S 21511 21511 15196 0 -1 1077944384 2625 0 0 0 130 37 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886908758416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21522] ppid=21511 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21522/stat : 21522 (java) S 21511 21511 15196 0 -1 1077944384 3928 0 0 0 132 38 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886907705616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21523] ppid=21511 vsize=13868332 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21523/stat : 21523 (java) S 21511 21511 15196 0 -1 1077944384 14217 0 0 0 49 47 0 0 20 0 28 0 3766076 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885980965744 139887316281986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21524] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21524/stat : 21524 (java) S 21511 21511 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885979911776 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21525] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21525/stat : 21525 (java) S 21511 21511 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885978858864 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21526] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21526/stat : 21526 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885977807184 139887316289435 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21527] ppid=21511 vsize=13868332 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21527/stat : 21527 (java) S 21511 21511 15196 0 -1 1077944384 9284 0 0 0 237 2 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885976754544 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21528] ppid=21511 vsize=13868332 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21528/stat : 21528 (java) S 21511 21511 15196 0 -1 1077944384 7105 0 0 0 176 1 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885975701744 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21529] ppid=21511 vsize=13868332 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21529/stat : 21529 (java) S 21511 21511 15196 0 -1 1077944384 5494 0 0 0 186 1 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885974648944 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 8 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21530] ppid=21511 vsize=13868332 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21530/stat : 21530 (java) S 21511 21511 15196 0 -1 1077944384 6610 0 0 0 93 2 0 0 20 0 28 0 3766080 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885973596144 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21531] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21531/stat : 21531 (java) S 21511 21511 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3766080 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885972544608 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21532] ppid=21511 vsize=13868332 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21532/stat : 21532 (java) S 21511 21511 15196 0 -1 1077944384 1175 0 0 0 6 7 0 0 20 0 28 0 3766080 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885971491888 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21638] ppid=21511 vsize=13868332 CPUtime=238.78 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21638/stat : 21638 (java) R 21511 21511 15196 0 -1 4202560 5868 0 0 0 23871 7 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885956108072 139886959636690 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21639] ppid=21511 vsize=13868332 CPUtime=238.51 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21639/stat : 21639 (java) R 21511 21511 15196 0 -1 4202560 7618 0 0 0 23840 11 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885962425112 139886958746863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21640] ppid=21511 vsize=13868332 CPUtime=237.94 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21640/stat : 21640 (java) R 21511 21511 15196 0 -1 4202560 4119 0 0 0 23791 3 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885961374400 139886959569447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21641] ppid=21511 vsize=13868332 CPUtime=237.9 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21641/stat : 21641 (java) R 21511 21511 15196 0 -1 4202560 4358 0 0 0 23785 5 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885957160984 139886958704120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21642] ppid=21511 vsize=13868332 CPUtime=238.4 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21642/stat : 21642 (java) R 21511 21511 15196 0 -1 4202560 2988 0 0 0 23836 4 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885959265888 139886960668838 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21643] ppid=21511 vsize=13868332 CPUtime=237.92 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21643/stat : 21643 (java) R 21511 21511 15196 0 -1 4202560 1670 0 0 0 23789 3 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885960319256 139886959638784 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21644] ppid=21511 vsize=13868332 CPUtime=238.61 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21644/stat : 21644 (java) R 21511 21511 15196 0 -1 4202560 5743 0 0 0 23849 12 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885955056792 139886958747071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21645] ppid=21511 vsize=13868332 CPUtime=237.97 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21645/stat : 21645 (java) R 21511 21511 15196 0 -1 4202560 2128 0 0 0 23792 5 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885963478040 139886958142988 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
Current children cumulated CPU time (s) 2400.71
Current children cumulated vsize (KiB) 13877844
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 21512 sig 9
??? kill 21511 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.301 s]
/proc/loadavg: 15.61 15.77 14.61 17/301 21781
/proc/meminfo: memFree=28856224/32770624 swapFree=5808/49848
[pid=21511] ppid=21508 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21511/stat : 21511 (xcsp3-exec) S 21508 21511 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3766073 9740288 345 33554432000 4194304 5098028 140725810122240 140725810120344 140225976468092 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23089152 140725810123918 140725810124128 140725810124128 140725810126827 0
/proc/21511/statm: 2378 345 289 221 0 87 0
[pid=21512] ppid=21511 vsize=13868332 CPUtime=2400.71 cores=0,2,4,6,8,10,12,14
/proc/21512/stat : 21512 (java) S 21511 21511 15196 0 -1 1077944320 133066 0 0 0 239637 434 0 0 20 0 28 0 3766073 14201171968 709780 33554432000 4194304 4196468 140733857067200 140733857049744 139887316270839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
/proc/21512/statm: 3467083 709780 3295 1 0 3454316 0
[pid=21512/tid=21513] ppid=21511 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21513/stat : 21513 (java) S 21511 21511 15196 0 -1 1077944384 6992 0 0 0 86 3 0 0 20 0 28 0 3766074 14201171968 709780 33554432000 4194304 4196468 140733857067200 139887320511616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21515] ppid=21511 vsize=13868332 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21515/stat : 21515 (java) S 21511 21511 15196 0 -1 1077944384 2371 0 0 0 131 37 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139887288114320 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21516] ppid=21511 vsize=13868332 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21516/stat : 21516 (java) S 21511 21511 15196 0 -1 1077944384 2853 0 0 0 129 37 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886914022416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21517] ppid=21511 vsize=13868332 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21517/stat : 21517 (java) S 21511 21511 15196 0 -1 1077944384 3243 0 0 0 126 38 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886912969616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21518] ppid=21511 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21518/stat : 21518 (java) S 21511 21511 15196 0 -1 1077944384 3602 0 0 0 129 41 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886911916816 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21519] ppid=21511 vsize=13868332 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21519/stat : 21519 (java) S 21511 21511 15196 0 -1 1077944384 3057 0 0 0 131 38 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886910864016 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21520] ppid=21511 vsize=13868332 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21520/stat : 21520 (java) S 21511 21511 15196 0 -1 1077944384 2285 0 0 0 123 35 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886909811216 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21521] ppid=21511 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21521/stat : 21521 (java) S 21511 21511 15196 0 -1 1077944384 2625 0 0 0 130 37 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886908758416 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21522] ppid=21511 vsize=13868332 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21522/stat : 21522 (java) S 21511 21511 15196 0 -1 1077944384 3928 0 0 0 132 38 0 0 20 0 28 0 3766075 14201171968 709780 33554432000 4194304 4196468 140733857067200 139886907705616 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21523] ppid=21511 vsize=13868332 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21523/stat : 21523 (java) S 21511 21511 15196 0 -1 1077944384 14217 0 0 0 49 47 0 0 20 0 28 0 3766076 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885980965744 139887316281986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21524] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21524/stat : 21524 (java) S 21511 21511 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885979911776 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21525] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21525/stat : 21525 (java) S 21511 21511 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3766077 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885978858864 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21526] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21526/stat : 21526 (java) S 21511 21511 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885977807184 139887316289435 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21527] ppid=21511 vsize=13868332 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21527/stat : 21527 (java) S 21511 21511 15196 0 -1 1077944384 9284 0 0 0 237 2 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885976754544 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21528] ppid=21511 vsize=13868332 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21528/stat : 21528 (java) S 21511 21511 15196 0 -1 1077944384 7105 0 0 0 176 1 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885975701744 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21529] ppid=21511 vsize=13868332 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21529/stat : 21529 (java) S 21511 21511 15196 0 -1 1077944384 5494 0 0 0 186 1 0 0 20 0 28 0 3766079 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885974648944 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 8 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21530] ppid=21511 vsize=13868332 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21530/stat : 21530 (java) S 21511 21511 15196 0 -1 1077944384 6610 0 0 0 93 2 0 0 20 0 28 0 3766080 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885973596144 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21531] ppid=21511 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21531/stat : 21531 (java) S 21511 21511 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3766080 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885972544608 139887316281045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21532] ppid=21511 vsize=13868332 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21532/stat : 21532 (java) S 21511 21511 15196 0 -1 1077944384 1175 0 0 0 6 7 0 0 20 0 28 0 3766080 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885971491888 139887316281986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21638] ppid=21511 vsize=13868332 CPUtime=238.78 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21638/stat : 21638 (java) R 21511 21511 15196 0 -1 4202560 5868 0 0 0 23871 7 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885956108072 139886959636690 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21639] ppid=21511 vsize=13868332 CPUtime=238.51 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21639/stat : 21639 (java) R 21511 21511 15196 0 -1 4202560 7618 0 0 0 23840 11 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885962425112 139886958746863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21640] ppid=21511 vsize=13868332 CPUtime=237.94 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21640/stat : 21640 (java) R 21511 21511 15196 0 -1 4202560 4119 0 0 0 23791 3 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885961374400 139886959569447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21641] ppid=21511 vsize=13868332 CPUtime=237.9 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21641/stat : 21641 (java) R 21511 21511 15196 0 -1 4202560 4358 0 0 0 23785 5 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885957160984 139886958704120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21642] ppid=21511 vsize=13868332 CPUtime=238.4 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21642/stat : 21642 (java) R 21511 21511 15196 0 -1 4202560 2988 0 0 0 23836 4 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885959265888 139886960668838 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21643] ppid=21511 vsize=13868332 CPUtime=237.92 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21643/stat : 21643 (java) R 21511 21511 15196 0 -1 4202560 1670 0 0 0 23789 3 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885960319256 139886959638784 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21644] ppid=21511 vsize=13868332 CPUtime=238.61 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21644/stat : 21644 (java) R 21511 21511 15196 0 -1 4202560 5743 0 0 0 23849 12 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885955056792 139886958747071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
[pid=21512/tid=21645] ppid=21511 vsize=13868332 CPUtime=237.97 cores=0,2,4,6,8,10,12,14
/proc/21512/task/21645/stat : 21645 (java) R 21511 21511 15196 0 -1 4202560 2128 0 0 0 23792 5 0 0 20 0 28 0 3772219 14201171968 709780 33554432000 4194304 4196468 140733857067200 139885963478040 139886958142988 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7655424 140733857068220 140733857068396 140733857068396 140733857071055 0
Current children cumulated CPU time (s) 2400.71
Current children cumulated vsize (KiB) 13877844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21511 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2196
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1098
# CPU time returned by wait4() is 0.003294
# while last known CPU time is 2400.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.32
CPU time (s): 2400.71
CPU user time (s): 2396.37
CPU system time (s): 4.34
CPU usage (%): 791.478
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002196
system time used= 0.001098
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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= 2
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.55265 second user time and 4.73851 second system time
The end