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-4253985-1501613561/watcher-4253985-1501613561 -o /tmp/evaluation-result-4253985-1501613561/solver-4253985-1501613561 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 935030847 HOME/instance-4253985-1501613561.xml
pid=5583
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 1.78 3/199 5586
/proc/meminfo: memFree=31452992/32770624 swapFree=0/160600
[pid=5586] ppid=5583 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (runsolver) D 5583 5586 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3266688 24240128 107 18446744073709551615 4194304 4338465 140734516158912 140734516156552 140601629930199 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 21131264 140734516166751 140734516167239 140734516167239 140734516170698 0
/proc/5586/statm: 5918 107 54 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 2.04 2.01 1.78 3/199 5586
/proc/meminfo: memFree=31452992/32770624 swapFree=0/160600
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.204768 s]
/proc/loadavg: 2.04 2.01 1.78 3/199 5586
/proc/meminfo: memFree=31452992/32770624 swapFree=0/160600
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30187 s]
/proc/loadavg: 2.04 2.01 1.78 3/199 5586
/proc/meminfo: memFree=31452992/32770624 swapFree=0/160600
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700167 s]
/proc/loadavg: 2.04 2.01 1.78 3/199 5586
/proc/meminfo: memFree=31452992/32770624 swapFree=0/160600
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 2.04 2.01 1.78 4/215 5602
/proc/meminfo: memFree=31384012/32770624 swapFree=0/160604
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=3.41 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 21340 0 0 0 335 6 0 0 20 0 15 0 3266695 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 21500 3179 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 9326 0 0 0 133 4 0 0 20 0 15 0 3266696 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074723622728 140074340021956 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5592] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5592/stat : 5592 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074659223952 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5593] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5593/stat : 5593 (java) S 5586 5586 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074658171152 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5594] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5594/stat : 5594 (java) S 5586 5586 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074265095024 140074719394434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 3970 0 0 0 79 0 0 0 20 0 15 0 3266701 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) R 5586 5586 3187 0 -1 4202560 4463 0 0 0 80 0 0 0 20 0 15 0 3266701 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074704288638 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 2270 0 0 0 41 0 0 0 20 0 15 0 3266701 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3266704 14316269568 21500 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 2.04 2.01 1.78 3/215 5602
/proc/meminfo: memFree=31379344/32770624 swapFree=0/160604
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=5.21 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 21660 0 0 0 515 6 0 0 20 0 15 0 3266695 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 22059 3179 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 9420 0 0 0 293 4 0 0 20 0 15 0 3266696 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074723621464 140074340647296 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5592] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5592/stat : 5592 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074659223952 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5593] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5593/stat : 5593 (java) S 5586 5586 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074658171152 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5594] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5594/stat : 5594 (java) S 5586 5586 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074265095024 140074719394434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 4007 0 0 0 87 0 0 0 20 0 15 0 3266701 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) S 5586 5586 3187 0 -1 1077944384 4531 0 0 0 91 0 0 0 20 0 15 0 3266701 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 2346 0 0 0 43 0 0 0 20 0 15 0 3266701 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3266704 14316269568 22059 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.03 2.01 1.78 4/215 5602
/proc/meminfo: memFree=31342484/32770624 swapFree=0/160612
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=9.65 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 37800 0 0 0 957 8 0 0 20 0 15 0 3266695 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 30790 3186 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=6.17 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 10042 0 0 0 613 4 0 0 20 0 15 0 3266696 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074723619152 140074340647216 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5592] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5592/stat : 5592 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074659223952 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5593] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5593/stat : 5593 (java) S 5586 5586 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074658171152 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5594] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5594/stat : 5594 (java) S 5586 5586 3187 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074265095024 140074719394434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 11339 0 0 0 143 1 0 0 20 0 15 0 3266701 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) S 5586 5586 3187 0 -1 1077944384 12108 0 0 0 153 1 0 0 20 0 15 0 3266701 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 2677 0 0 0 45 0 0 0 20 0 15 0 3266701 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3266704 14316269568 30790 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.03 2.01 1.78 3/215 5602
/proc/meminfo: memFree=31338268/32770624 swapFree=0/160616
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=16.28 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 43789 0 0 0 1620 8 0 0 20 0 15 0 3266695 14316269568 31366 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 31366 3195 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=12.58 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 11056 0 0 0 1253 5 0 0 20 0 15 0 3266696 14316269568 31366 18446744073709551615 4194304 4196468 140731459064624 140074723619168 140074335370508 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 31366 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 31366 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
################
# More data... #
################
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=2.6 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 25085 0 0 0 258 2 0 0 20 0 15 0 3266701 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=2.14 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) S 5586 5586 3187 0 -1 1077944384 17821 0 0 0 212 2 0 0 20 0 15 0 3266701 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 6354 0 0 0 52 0 0 0 20 0 15 0 3266701 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 1136 0 0 0 2 1 0 0 20 0 15 0 3266704 14316269568 49591 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 107.51
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.81 3/214 5694
/proc/meminfo: memFree=31734652/32770624 swapFree=0/160792
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=167.57 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 68553 0 0 0 16743 14 0 0 20 0 15 0 3266695 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 54803 3227 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=162.17 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 14175 0 0 0 16211 6 0 0 20 0 15 0 3266696 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074723620168 140074340874853 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5592] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5592/stat : 5592 (java) S 5586 5586 3187 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074659223952 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5593] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5593/stat : 5593 (java) S 5586 5586 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074658171152 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5594] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5594/stat : 5594 (java) S 5586 5586 3187 0 -1 1077944384 688 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074265095024 140074719394434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=2.6 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 25140 0 0 0 258 2 0 0 20 0 15 0 3266701 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=2.14 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) S 5586 5586 3187 0 -1 1077944384 17861 0 0 0 212 2 0 0 20 0 15 0 3266701 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 7320 0 0 0 53 1 0 0 20 0 15 0 3266701 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 1174 0 0 0 2 2 0 0 20 0 15 0 3266704 14316269568 54803 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 167.57
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.08 2.02 1.83 3/214 5696
/proc/meminfo: memFree=31718560/32770624 swapFree=0/160824
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=227.6 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 68891 0 0 0 22746 14 0 0 20 0 15 0 3266695 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 55135 3227 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=222.18 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 14443 0 0 0 22212 6 0 0 20 0 15 0 3266696 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074723622232 140074339895121 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5592] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5592/stat : 5592 (java) S 5586 5586 3187 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074659223952 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5593] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5593/stat : 5593 (java) S 5586 5586 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074658171152 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5594] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5594/stat : 5594 (java) S 5586 5586 3187 0 -1 1077944384 706 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074265095024 140074719394434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=2.6 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 25158 0 0 0 258 2 0 0 20 0 15 0 3266701 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=2.15 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) S 5586 5586 3187 0 -1 1077944384 17891 0 0 0 213 2 0 0 20 0 15 0 3266701 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 7322 0 0 0 53 1 0 0 20 0 15 0 3266701 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 1176 0 0 0 4 2 0 0 20 0 15 0 3266704 14316269568 55135 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 227.6
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 2.02 1.83 3/215 5697
/proc/meminfo: memFree=31692232/32770624 swapFree=0/160828
[pid=5586] ppid=5583 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5586/stat : 5586 (xcsp3-exec) S 5583 5586 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3266688 9740288 345 18446744073709551615 4194304 5098028 140723567178640 140723567176744 140577686037116 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12775424 140723567186333 140723567186536 140723567186536 140723567189995 0
/proc/5586/statm: 2378 345 289 221 0 87 0
[pid=5588] ppid=5586 vsize=13980732 CPUtime=245.31 cores=0,2,4,6
/proc/5588/stat : 5588 (java) S 5586 5586 3187 0 -1 1077944320 69382 0 0 0 24517 14 0 0 20 0 15 0 3266695 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140731459047168 140074719383287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
/proc/5588/statm: 3495183 58719 3227 1 0 3483484 0
[pid=5588/tid=5589] ppid=5586 vsize=13980732 CPUtime=239.87 cores=0,2,4,6
/proc/5588/task/5589/stat : 5589 (java) R 5586 5586 3187 0 -1 4202560 14729 0 0 0 23981 6 0 0 20 0 15 0 3266696 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074723619832 140074340647326 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5590] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5590/stat : 5590 (java) S 5586 5586 3187 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074661329552 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5591] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5591/stat : 5591 (java) S 5586 5586 3187 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074660276752 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5592] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5592/stat : 5592 (java) S 5586 5586 3187 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074659223952 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5593] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5593/stat : 5593 (java) S 5586 5586 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3266696 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074658171152 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5594] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5594/stat : 5594 (java) S 5586 5586 3187 0 -1 1077944384 713 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074265095024 140074719394434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5595] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5595/stat : 5595 (java) S 5586 5586 3187 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074264040992 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5596] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5596/stat : 5596 (java) S 5586 5586 3187 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 3266698 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074262988144 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5597] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5597/stat : 5597 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074261936464 140074719401883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5598] ppid=5586 vsize=13980732 CPUtime=2.6 cores=0,2,4,6
/proc/5588/task/5598/stat : 5598 (java) S 5586 5586 3187 0 -1 1077944384 25159 0 0 0 258 2 0 0 20 0 15 0 3266701 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074260883824 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5599] ppid=5586 vsize=13980732 CPUtime=2.15 cores=0,2,4,6
/proc/5588/task/5599/stat : 5599 (java) S 5586 5586 3187 0 -1 1077944384 18041 0 0 0 213 2 0 0 20 0 15 0 3266701 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074259831024 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5600] ppid=5586 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/5588/task/5600/stat : 5600 (java) S 5586 5586 3187 0 -1 1077944384 7349 0 0 0 53 1 0 0 20 0 15 0 3266701 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074258778224 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5601] ppid=5586 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5588/task/5601/stat : 5601 (java) S 5586 5586 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3266701 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074257725664 140074719393493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
[pid=5588/tid=5602] ppid=5586 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5588/task/5602/stat : 5602 (java) S 5586 5586 3187 0 -1 1077944384 1196 0 0 0 4 3 0 0 20 0 15 0 3266704 14316269568 58719 18446744073709551615 4194304 4196468 140731459064624 140074256673968 140074719394434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19775488 140731459072469 140731459072644 140731459072644 140731459076047 0
Current children cumulated CPU time (s) 245.31
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 5588 sig 9
??? kill 5586 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 5586 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1775
# CPU time returned by wait4() is 0.001775
# while last known CPU time is 245.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.31
CPU user time (s): 245.17
CPU system time (s): 0.14
CPU usage (%): 102.208
Max. virtual memory (cumulated for all children) (KiB): 13992408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001775
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 0.787082 second user time and 1.64631 second system time
The end