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-4247200-1500689327/watcher-4247200-1500689327 -o /tmp/evaluation-result-4247200-1500689327/solver-4247200-1500689327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 392442442 HOME/instance-4247200-1500689327.xml
pid=1580
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: 15.33 15.49 14.63 10/270 1583
/proc/meminfo: memFree=31189352/32770624 swapFree=5736/260676
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
[startup+0.100105 s]
/proc/loadavg: 15.33 15.49 14.63 10/270 1583
/proc/meminfo: memFree=31189352/32770624 swapFree=5736/260676
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200303 s]
/proc/loadavg: 15.33 15.49 14.63 10/270 1583
/proc/meminfo: memFree=31189352/32770624 swapFree=5736/260676
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 15.33 15.49 14.63 10/270 1583
/proc/meminfo: memFree=31189352/32770624 swapFree=5736/260676
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700163 s]
/proc/loadavg: 15.33 15.49 14.63 10/270 1583
/proc/meminfo: memFree=31189352/32770624 swapFree=5736/260676
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50104 s]
/proc/loadavg: 15.33 15.49 14.63 13/291 1604
/proc/meminfo: memFree=30939104/32770624 swapFree=5736/260668
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
[pid=1584] ppid=1583 vsize=13267208 CPUtime=4.69 cores=0,2,4,6,8,10,12,14
/proc/1584/stat : 1584 (java) S 1583 1583 16473 0 -1 1077944320 15939 0 0 0 396 73 0 0 20 0 20 0 4201877 13585620992 106446 33554432000 4194304 4196468 140728108733488 140728108716032 140595053952759 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
/proc/1584/statm: 3316802 106446 3225 1 0 3304035 0
[pid=1584/tid=1585] ppid=1583 vsize=13267208 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1585/stat : 1585 (java) R 1583 1583 16473 0 -1 4202560 6553 0 0 0 124 7 0 0 20 0 20 0 4201878 13585620992 106446 33554432000 4194304 4196468 140728108733488 140595058190224 140594694900731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1587] ppid=1583 vsize=13267208 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1587/stat : 1587 (java) S 1583 1583 16473 0 -1 1077944384 64 0 0 0 7 7 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594652839056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1588] ppid=1583 vsize=13267208 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1588/stat : 1588 (java) S 1583 1583 16473 0 -1 1077944384 59 0 0 0 6 8 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594651786256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1589] ppid=1583 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1589/stat : 1589 (java) S 1583 1583 16473 0 -1 1077944384 71 0 0 0 7 8 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594650733456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1590] ppid=1583 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1590/stat : 1590 (java) S 1583 1583 16473 0 -1 1077944384 71 0 0 0 8 7 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594649680656 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1591] ppid=1583 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1591/stat : 1591 (java) S 1583 1583 16473 0 -1 1077944384 68 0 0 0 7 8 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594648627856 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1592] ppid=1583 vsize=13267208 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1592/stat : 1592 (java) S 1583 1583 16473 0 -1 1077944384 62 0 0 0 6 7 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594647575056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1593] ppid=1583 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1593/stat : 1593 (java) S 1583 1583 16473 0 -1 1077944384 81 0 0 0 7 8 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594646522256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1594] ppid=1583 vsize=13267208 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1594/stat : 1594 (java) S 1583 1583 16473 0 -1 1077944384 69 0 0 0 5 6 0 0 20 0 20 0 4201879 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594645469456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1595] ppid=1583 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1595/stat : 1595 (java) S 1583 1583 16473 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4201881 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594247781232 140595053963906 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1596] ppid=1583 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1596/stat : 1596 (java) S 1583 1583 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4201882 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594246727200 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1597] ppid=1583 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1597/stat : 1597 (java) S 1583 1583 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4201882 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594245674352 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1598] ppid=1583 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1598/stat : 1598 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594244622672 140595053971355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1599] ppid=1583 vsize=13267208 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1599/stat : 1599 (java) S 1583 1583 16473 0 -1 1077944384 2638 0 0 0 69 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594243570032 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1600] ppid=1583 vsize=13267208 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1600/stat : 1600 (java) S 1583 1583 16473 0 -1 1077944384 1420 0 0 0 55 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594242517232 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1601] ppid=1583 vsize=13267208 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1601/stat : 1601 (java) S 1583 1583 16473 0 -1 1077944384 1806 0 0 0 59 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594241464432 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1602] ppid=1583 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1602/stat : 1602 (java) S 1583 1583 16473 0 -1 1077944384 1470 0 0 0 30 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594240411632 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1603] ppid=1583 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1603/stat : 1603 (java) S 1583 1583 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594239360096 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1604] ppid=1583 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1604/stat : 1604 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4201886 13585620992 106446 33554432000 4194304 4196468 140728108733488 140594238307376 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 13276720
[startup+3.10094 s]
/proc/loadavg: 15.33 15.49 14.63 13/291 1604
/proc/meminfo: memFree=30725076/32770624 swapFree=5736/260668
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
[pid=1584] ppid=1583 vsize=13269256 CPUtime=9.62 cores=0,2,4,6,8,10,12,14
/proc/1584/stat : 1584 (java) S 1583 1583 16473 0 -1 1077944320 21681 0 0 0 854 108 0 0 20 0 20 0 4201877 13587718144 181907 33554432000 4194304 4196468 140728108733488 140728108716032 140595053952759 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
/proc/1584/statm: 3317314 181907 3251 1 0 3304547 0
[pid=1584/tid=1585] ppid=1583 vsize=13269256 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1585/stat : 1585 (java) R 1583 1583 16473 0 -1 4202560 7399 0 0 0 269 11 0 0 20 0 20 0 4201878 13587718144 181907 33554432000 4194304 4196468 140728108733488 140595058191480 140594695357800 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1587] ppid=1583 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1587/stat : 1587 (java) S 1583 1583 16473 0 -1 1077944384 99 0 0 0 12 11 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594652839056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1588] ppid=1583 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1588/stat : 1588 (java) S 1583 1583 16473 0 -1 1077944384 85 0 0 0 9 11 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594651786256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1589] ppid=1583 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1589/stat : 1589 (java) S 1583 1583 16473 0 -1 1077944384 99 0 0 0 11 11 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594650733456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1590] ppid=1583 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1590/stat : 1590 (java) S 1583 1583 16473 0 -1 1077944384 103 0 0 0 12 11 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594649680656 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1591] ppid=1583 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1591/stat : 1591 (java) S 1583 1583 16473 0 -1 1077944384 111 0 0 0 12 12 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594648627856 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1592] ppid=1583 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1592/stat : 1592 (java) S 1583 1583 16473 0 -1 1077944384 102 0 0 0 10 11 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594647575056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1593] ppid=1583 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1593/stat : 1593 (java) S 1583 1583 16473 0 -1 1077944384 175 0 0 0 13 11 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594646522256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1594] ppid=1583 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1594/stat : 1594 (java) S 1583 1583 16473 0 -1 1077944384 113 0 0 0 10 10 0 0 20 0 20 0 4201879 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594645469456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1595] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1595/stat : 1595 (java) S 1583 1583 16473 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 20 0 4201881 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594247781232 140595053963906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1596] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1596/stat : 1596 (java) S 1583 1583 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4201882 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594246727264 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1597] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1597/stat : 1597 (java) S 1583 1583 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4201882 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594245674368 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1598] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1598/stat : 1598 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594244622672 140595053971355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1599] ppid=1583 vsize=13269256 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1599/stat : 1599 (java) S 1583 1583 16473 0 -1 1077944384 3719 0 0 0 162 1 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594243570032 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1600] ppid=1583 vsize=13269256 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1600/stat : 1600 (java) S 1583 1583 16473 0 -1 1077944384 2389 0 0 0 132 0 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594242517232 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1601] ppid=1583 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1601/stat : 1601 (java) S 1583 1583 16473 0 -1 1077944384 3607 0 0 0 144 1 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594241464432 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1602] ppid=1583 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1602/stat : 1602 (java) S 1583 1583 16473 0 -1 1077944384 1870 0 0 0 50 1 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594240411632 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1603] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1603/stat : 1603 (java) S 1583 1583 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594239360096 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1604] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1604/stat : 1604 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4201886 13587718144 181907 33554432000 4194304 4196468 140728108733488 140594238307376 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (KiB) 13278768
[startup+6.30107 s]
/proc/loadavg: 14.82 15.39 14.60 11/291 1604
/proc/meminfo: memFree=29660616/32770624 swapFree=5736/260668
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
[pid=1584] ppid=1583 vsize=13269256 CPUtime=16.33 cores=0,2,4,6,8,10,12,14
/proc/1584/stat : 1584 (java) S 1583 1583 16473 0 -1 1077944320 33013 0 0 0 1339 294 0 0 20 0 20 0 4201877 13587718144 384410 33554432000 4194304 4196468 140728108733488 140728108716032 140595053952759 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
/proc/1584/statm: 3317314 384410 3260 1 0 3304547 0
[pid=1584/tid=1585] ppid=1583 vsize=13269256 CPUtime=5.57 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1585/stat : 1585 (java) R 1583 1583 16473 0 -1 4202560 10776 0 0 0 539 18 0 0 20 0 20 0 4201878 13587718144 384410 33554432000 4194304 4196468 140728108733488 140595058190912 140594697375786 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1587] ppid=1583 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1587/stat : 1587 (java) S 1583 1583 16473 0 -1 1077944384 291 0 0 0 32 34 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594652839056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1588] ppid=1583 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1588/stat : 1588 (java) S 1583 1583 16473 0 -1 1077944384 354 0 0 0 28 33 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594651786256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1589] ppid=1583 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1589/stat : 1589 (java) S 1583 1583 16473 0 -1 1077944384 300 0 0 0 31 33 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594650733456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1590] ppid=1583 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1590/stat : 1590 (java) S 1583 1583 16473 0 -1 1077944384 373 0 0 0 33 33 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594649680656 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1591] ppid=1583 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1591/stat : 1591 (java) S 1583 1583 16473 0 -1 1077944384 642 0 0 0 31 35 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594648627856 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1592] ppid=1583 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1592/stat : 1592 (java) S 1583 1583 16473 0 -1 1077944384 283 0 0 0 30 34 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594647575056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1593] ppid=1583 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1593/stat : 1593 (java) S 1583 1583 16473 0 -1 1077944384 372 0 0 0 33 32 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594646522256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1594] ppid=1583 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1594/stat : 1594 (java) S 1583 1583 16473 0 -1 1077944384 341 0 0 0 30 32 0 0 20 0 20 0 4201879 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594645469456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1595] ppid=1583 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1595/stat : 1595 (java) S 1583 1583 16473 0 -1 1077944384 1248 0 0 0 1 0 0 0 20 0 20 0 4201881 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594247781232 140595053963906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1596] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1596/stat : 1596 (java) S 1583 1583 16473 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4201882 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594246727264 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1597] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1597/stat : 1597 (java) S 1583 1583 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4201882 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594245674368 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1598] ppid=1583 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1598/stat : 1598 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4201886 13587718144 384410 33554432000 4194304 4196468 140728108733488 140594244622672 140595053971355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
################
# More data... #
################
[pid=1584/tid=1612] ppid=1583 vsize=13801768 CPUtime=259.23 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1612/stat : 1612 (java) R 1583 1583 16473 0 -1 4202560 666 0 0 0 25922 1 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594223977064 140594693641175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1613] ppid=1583 vsize=13801768 CPUtime=258.77 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1613/stat : 1613 (java) R 1583 1583 16473 0 -1 4202560 732 0 0 0 25877 0 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594222924264 140594693641540 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
Current children cumulated CPU time (s) 2121.36
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+317.302 s]
/proc/loadavg: 15.73 15.56 14.88 17/301 1825
/proc/meminfo: memFree=26716364/32770624 swapFree=5736/261044
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
[pid=1584] ppid=1583 vsize=13801768 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/1584/stat : 1584 (java) S 1583 1583 16473 0 -1 1077944320 69555 0 0 0 239285 717 0 0 20 0 28 0 4201877 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140728108716032 140595053952759 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
/proc/1584/statm: 3450442 1006709 3282 1 0 3437675 0
[pid=1584/tid=1585] ppid=1583 vsize=13801768 CPUtime=18.37 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1585/stat : 1585 (java) S 1583 1583 16473 0 -1 1077944384 16354 0 0 0 1795 42 0 0 20 0 28 0 4201878 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140595058193536 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1587] ppid=1583 vsize=13801768 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1587/stat : 1587 (java) S 1583 1583 16473 0 -1 1077944384 1257 0 0 0 291 79 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594652839056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1588] ppid=1583 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1588/stat : 1588 (java) S 1583 1583 16473 0 -1 1077944384 1121 0 0 0 286 80 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594651786256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1589] ppid=1583 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1589/stat : 1589 (java) S 1583 1583 16473 0 -1 1077944384 1551 0 0 0 284 82 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594650733456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1590] ppid=1583 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1590/stat : 1590 (java) S 1583 1583 16473 0 -1 1077944384 1418 0 0 0 284 83 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594649680656 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1591] ppid=1583 vsize=13801768 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1591/stat : 1591 (java) S 1583 1583 16473 0 -1 1077944384 2035 0 0 0 292 78 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594648627856 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1592] ppid=1583 vsize=13801768 CPUtime=3.68 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1592/stat : 1592 (java) S 1583 1583 16473 0 -1 1077944384 1589 0 0 0 288 80 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594647575056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1593] ppid=1583 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1593/stat : 1593 (java) S 1583 1583 16473 0 -1 1077944384 2004 0 0 0 289 83 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594646522256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1594] ppid=1583 vsize=13801768 CPUtime=3.65 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1594/stat : 1594 (java) S 1583 1583 16473 0 -1 1077944384 1170 0 0 0 285 80 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594645469456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1595] ppid=1583 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1595/stat : 1595 (java) S 1583 1583 16473 0 -1 1077944384 4026 0 0 0 45 2 0 0 20 0 28 0 4201881 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594247781232 140595053963906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1596] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1596/stat : 1596 (java) S 1583 1583 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4201882 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594246727264 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1597] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1597/stat : 1597 (java) S 1583 1583 16473 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 4201882 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594245674368 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1598] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1598/stat : 1598 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594244622672 140595053971355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1599] ppid=1583 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1599/stat : 1599 (java) S 1583 1583 16473 0 -1 1077944384 6930 0 0 0 214 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594243570032 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1600] ppid=1583 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1600/stat : 1600 (java) S 1583 1583 16473 0 -1 1077944384 4845 0 0 0 173 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594242517232 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1601] ppid=1583 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1601/stat : 1601 (java) S 1583 1583 16473 0 -1 1077944384 5898 0 0 0 188 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594241464432 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1602] ppid=1583 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1602/stat : 1602 (java) S 1583 1583 16473 0 -1 1077944384 3562 0 0 0 66 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594240411632 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 22 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1603] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1603/stat : 1603 (java) S 1583 1583 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594239360096 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1604] ppid=1583 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1604/stat : 1604 (java) S 1583 1583 16473 0 -1 1077944384 950 0 0 0 12 8 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594238307376 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1605] ppid=1583 vsize=13801768 CPUtime=294.35 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1605/stat : 1605 (java) R 1583 1583 16473 0 -1 4202560 758 0 0 0 29435 0 0 0 20 0 28 0 4204139 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594230291832 140594693641347 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1606] ppid=1583 vsize=13801768 CPUtime=293.33 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1606/stat : 1606 (java) R 1583 1583 16473 0 -1 4202560 819 0 0 0 29332 1 0 0 20 0 28 0 4204139 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594229239792 140594693076462 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1607] ppid=1583 vsize=13801768 CPUtime=290.94 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1607/stat : 1607 (java) R 1583 1583 16473 0 -1 4202560 7980 0 0 0 29090 4 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594228187384 140594693640975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1608] ppid=1583 vsize=13801768 CPUtime=294.2 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1608/stat : 1608 (java) R 1583 1583 16473 0 -1 4202560 915 0 0 0 29420 0 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594227134440 140594693076115 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1609] ppid=1583 vsize=13801768 CPUtime=294.26 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1609/stat : 1609 (java) R 1583 1583 16473 0 -1 4202560 656 0 0 0 29425 1 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594226081640 140594693076467 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1611] ppid=1583 vsize=13801768 CPUtime=289.94 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1611/stat : 1611 (java) R 1583 1583 16473 0 -1 4202560 856 0 0 0 28992 2 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594225028840 140594693076566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1612] ppid=1583 vsize=13801768 CPUtime=294.13 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1612/stat : 1612 (java) R 1583 1583 16473 0 -1 4202560 706 0 0 0 29412 1 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594223977064 140594693076332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1613] ppid=1583 vsize=13801768 CPUtime=293.74 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1613/stat : 1613 (java) R 1583 1583 16473 0 -1 4202560 793 0 0 0 29374 0 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594222924264 140594693640975 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13811280
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 1584 sig 9
??? kill 1583 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+317.302 s]
/proc/loadavg: 15.73 15.56 14.88 17/301 1825
/proc/meminfo: memFree=26716364/32770624 swapFree=5736/261044
[pid=1583] ppid=1580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1583/stat : 1583 (xcsp3-exec) S 1580 1583 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4201877 9740288 346 33554432000 4194304 5098028 140731112958448 140731112956552 140264281899644 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22142976 140731112965263 140731112965472 140731112965472 140731112968171 0
/proc/1583/statm: 2378 346 289 221 0 87 0
[pid=1584] ppid=1583 vsize=13801768 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/1584/stat : 1584 (java) S 1583 1583 16473 0 -1 1077944320 69555 0 0 0 239285 717 0 0 20 0 28 0 4201877 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140728108716032 140595053952759 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
/proc/1584/statm: 3450442 1006709 3282 1 0 3437675 0
[pid=1584/tid=1585] ppid=1583 vsize=13801768 CPUtime=18.37 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1585/stat : 1585 (java) S 1583 1583 16473 0 -1 1077944384 16354 0 0 0 1795 42 0 0 20 0 28 0 4201878 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140595058193536 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1587] ppid=1583 vsize=13801768 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1587/stat : 1587 (java) S 1583 1583 16473 0 -1 1077944384 1257 0 0 0 291 79 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594652839056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1588] ppid=1583 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1588/stat : 1588 (java) S 1583 1583 16473 0 -1 1077944384 1121 0 0 0 286 80 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594651786256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1589] ppid=1583 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1589/stat : 1589 (java) S 1583 1583 16473 0 -1 1077944384 1551 0 0 0 284 82 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594650733456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1590] ppid=1583 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1590/stat : 1590 (java) S 1583 1583 16473 0 -1 1077944384 1418 0 0 0 284 83 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594649680656 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1591] ppid=1583 vsize=13801768 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1591/stat : 1591 (java) S 1583 1583 16473 0 -1 1077944384 2035 0 0 0 292 78 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594648627856 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1592] ppid=1583 vsize=13801768 CPUtime=3.68 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1592/stat : 1592 (java) S 1583 1583 16473 0 -1 1077944384 1589 0 0 0 288 80 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594647575056 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1593] ppid=1583 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1593/stat : 1593 (java) S 1583 1583 16473 0 -1 1077944384 2004 0 0 0 289 83 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594646522256 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1594] ppid=1583 vsize=13801768 CPUtime=3.65 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1594/stat : 1594 (java) S 1583 1583 16473 0 -1 1077944384 1170 0 0 0 285 80 0 0 20 0 28 0 4201879 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594645469456 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1595] ppid=1583 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1595/stat : 1595 (java) S 1583 1583 16473 0 -1 1077944384 4026 0 0 0 45 2 0 0 20 0 28 0 4201881 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594247781232 140595053963906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1596] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1596/stat : 1596 (java) S 1583 1583 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4201882 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594246727264 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1597] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1597/stat : 1597 (java) S 1583 1583 16473 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 4201882 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594245674368 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1598] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1598/stat : 1598 (java) S 1583 1583 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594244622672 140595053971355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1599] ppid=1583 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1599/stat : 1599 (java) S 1583 1583 16473 0 -1 1077944384 6930 0 0 0 214 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594243570032 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1600] ppid=1583 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1600/stat : 1600 (java) S 1583 1583 16473 0 -1 1077944384 4845 0 0 0 173 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594242517232 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1601] ppid=1583 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1601/stat : 1601 (java) S 1583 1583 16473 0 -1 1077944384 5898 0 0 0 188 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594241464432 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1602] ppid=1583 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1602/stat : 1602 (java) S 1583 1583 16473 0 -1 1077944384 3562 0 0 0 66 1 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594240411632 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 22 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1603] ppid=1583 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1603/stat : 1603 (java) S 1583 1583 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594239360096 140595053962965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1604] ppid=1583 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1604/stat : 1604 (java) S 1583 1583 16473 0 -1 1077944384 950 0 0 0 12 8 0 0 20 0 28 0 4201886 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594238307376 140595053963906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1605] ppid=1583 vsize=13801768 CPUtime=294.35 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1605/stat : 1605 (java) R 1583 1583 16473 0 -1 4202560 758 0 0 0 29435 0 0 0 20 0 28 0 4204139 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594230291832 140594693641347 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1606] ppid=1583 vsize=13801768 CPUtime=293.33 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1606/stat : 1606 (java) R 1583 1583 16473 0 -1 4202560 819 0 0 0 29332 1 0 0 20 0 28 0 4204139 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594229239792 140594693076462 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1607] ppid=1583 vsize=13801768 CPUtime=290.94 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1607/stat : 1607 (java) R 1583 1583 16473 0 -1 4202560 7980 0 0 0 29090 4 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594228187384 140594693640975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1608] ppid=1583 vsize=13801768 CPUtime=294.2 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1608/stat : 1608 (java) R 1583 1583 16473 0 -1 4202560 915 0 0 0 29420 0 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594227134440 140594693076115 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1609] ppid=1583 vsize=13801768 CPUtime=294.26 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1609/stat : 1609 (java) R 1583 1583 16473 0 -1 4202560 656 0 0 0 29425 1 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594226081640 140594693076467 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1611] ppid=1583 vsize=13801768 CPUtime=289.94 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1611/stat : 1611 (java) R 1583 1583 16473 0 -1 4202560 856 0 0 0 28992 2 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594225028840 140594693076566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1612] ppid=1583 vsize=13801768 CPUtime=294.13 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1612/stat : 1612 (java) R 1583 1583 16473 0 -1 4202560 706 0 0 0 29412 1 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594223977064 140594693076332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
[pid=1584/tid=1613] ppid=1583 vsize=13801768 CPUtime=293.74 cores=0,2,4,6,8,10,12,14
/proc/1584/task/1613/stat : 1613 (java) R 1583 1583 16473 0 -1 4202560 793 0 0 0 29374 0 0 0 20 0 28 0 4204140 14133010432 1006709 33554432000 4194304 4196468 140728108733488 140594222924264 140594693640975 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8822784 140728108737724 140728108737900 140728108737900 140728108740559 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1583 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3136
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003136
# while last known CPU time is 2400.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 317.313
CPU time (s): 2400.02
CPU user time (s): 2392.85
CPU system time (s): 7.17
CPU usage (%): 756.358
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003136
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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 3.89689 second user time and 5.0214 second system time
The end